@theia/core 1.39.0-next.9 → 1.40.0

package/src/browser/style/ansi.css

@@ -11,78 +11,78 @@
  * with the GNU Classpath Exception which is available at
  * https://www.gnu.org/software/classpath/license.html.
  *
- * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
  ********************************************************************************/
 
 /* ANSI */
 .ansi-black-fg,
 .ansi-black-bg {
-    color: var(--theia-terminal-ansiBlack);
+  color: var(--theia-terminal-ansiBlack);
 }
 .ansi-bright-black-fg,
 .ansi-bright-black-bg {
-    color: var(--theia-terminal-ansiBrightBlack);
+  color: var(--theia-terminal-ansiBrightBlack);
 }
 
 .ansi-red-fg,
 .ansi-red-bg {
-    color: var(--theia-terminal-ansiRed);
+  color: var(--theia-terminal-ansiRed);
 }
 .ansi-bright-red-fg,
 .ansi-bright-red-bg {
-    color: var(--theia-terminal-ansiBrightRed);
+  color: var(--theia-terminal-ansiBrightRed);
 }
 
 .ansi-green-fg,
 .ansi-green-bg {
-    color: var(--theia-terminal-ansiGreen);
+  color: var(--theia-terminal-ansiGreen);
 }
 .ansi-bright-green-fg,
 .ansi-bright-green-bg {
-    color: var(--theia-terminal-ansiBrightGreen);
+  color: var(--theia-terminal-ansiBrightGreen);
 }
 
 .ansi-yellow-fg,
 .ansi-yellow-bg {
-    color: var(--theia-terminal-ansiYellow);
+  color: var(--theia-terminal-ansiYellow);
 }
 .ansi-bright-yellow-fg,
 .ansi-bright-yellow-bg {
-    color: var(--theia-terminal-ansiBrightYellow);
+  color: var(--theia-terminal-ansiBrightYellow);
 }
 
 .ansi-blue-fg,
 .ansi-blue-bg {
-    color: var(--theia-terminal-ansiBlue);
+  color: var(--theia-terminal-ansiBlue);
 }
 .ansi-bright-blue-fg,
 .ansi-bright-blue-bg {
-    color: var(--theia-terminal-ansiBrightBlue);
+  color: var(--theia-terminal-ansiBrightBlue);
 }
 
 .ansi-magenta-fg,
 .ansi-magenta-bg {
-    color: var(--theia-terminal-ansiMagenta);
+  color: var(--theia-terminal-ansiMagenta);
 }
 .ansi-bright-magenta-fg,
 .ansi-bright-magenta-bg {
-    color: var(--theia-terminal-ansiBrightMagenta);
+  color: var(--theia-terminal-ansiBrightMagenta);
 }
 
 .ansi-cyan-fg,
 .ansi-cyan-bg {
-    color: var(--theia-terminal-ansiCyan);
+  color: var(--theia-terminal-ansiCyan);
 }
 .ansi-bright-cyan-fg,
 .ansi-bright-cyan-bg {
-    color: var(--theia-terminal-ansiBrightCyan);
+  color: var(--theia-terminal-ansiBrightCyan);
 }
 
 .ansi-white-fg,
 .ansi-white-bg {
-    color: var(--theia-terminal-ansiWhite);
+  color: var(--theia-terminal-ansiWhite);
 }
 .ansi-bright-white-fg,
 .ansi-bright-white-bg {
-    color: var(--theia-terminal-ansiBrightWhite);
+  color: var(--theia-terminal-ansiBrightWhite);
 }

package/src/browser/style/breadcrumbs.css

@@ -11,120 +11,120 @@
  * with the GNU Classpath Exception which is available at
  * https://www.gnu.org/software/classpath/license.html.
  *
- * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
  ********************************************************************************/
 
 :root {
-    --theia-breadcrumbs-height: 22px;
+  --theia-breadcrumbs-height: 22px;
 }
 
 .theia-breadcrumbs {
-    height: var(--theia-breadcrumbs-height);
-    position: relative;
-    user-select: none;
-    display: flex;
-    flex-direction: row;
-    flex-wrap: nowrap;
-    justify-content: flex-start;
-    align-items: center;
-    outline-style: none;
-    list-style-type: none;
-    overflow: hidden;
-    padding: 0;
-    margin: 0;
-    background-color: var(--theia-breadcrumb-background);
+  height: var(--theia-breadcrumbs-height);
+  position: relative;
+  user-select: none;
+  display: flex;
+  flex-direction: row;
+  flex-wrap: nowrap;
+  justify-content: flex-start;
+  align-items: center;
+  outline-style: none;
+  list-style-type: none;
+  overflow: hidden;
+  padding: 0;
+  margin: 0;
+  background-color: var(--theia-breadcrumb-background);
 }
 
 .theia-breadcrumbs .ps__thumb-x {
-    /* Same scrollbar height as in tab bar. */
-    height: var(--theia-private-horizontal-tab-scrollbar-height) !important;
+  /* Same scrollbar height as in tab bar. */
+  height: var(--theia-private-horizontal-tab-scrollbar-height) !important;
 }
 
 .theia-breadcrumbs .theia-breadcrumb-item {
-    display: flex;
-    align-items: center;
-    flex: 0 1 auto;
-    white-space: nowrap;
-    align-self: center;
-    height: 100%;
-    color: var(--theia-breadcrumb-foreground);
-    outline: none;
-    padding: 0 .3rem 0 .25rem;
+  display: flex;
+  align-items: center;
+  flex: 0 1 auto;
+  white-space: nowrap;
+  align-self: center;
+  height: 100%;
+  color: var(--theia-breadcrumb-foreground);
+  outline: none;
+  padding: 0 0.3rem 0 0.25rem;
 }
 
 .theia-breadcrumbs .theia-breadcrumb-item:hover {
-    color: var(--theia-breadcrumb-focusForeground);
+  color: var(--theia-breadcrumb-focusForeground);
 }
 
 .theia-breadcrumbs .theia-breadcrumb-item:not(:last-of-type)::after {
-    font-family: codicon;
-    font-size: var(--theia-ui-font-size2);
-    content: "\eab6";
-    display: flex;
-    align-items: center;
-    width: .8em;
-    text-align: right;
-    padding-left: 4px;
+  font-family: codicon;
+  font-size: var(--theia-ui-font-size2);
+  content: "\eab6";
+  display: flex;
+  align-items: center;
+  width: 0.8em;
+  text-align: right;
+  padding-left: 4px;
 }
 
 .theia-breadcrumbs .theia-breadcrumb-item::before {
-    width: 16px;
-    height: 100%;
-    display: flex;
-    align-items: center;
-    justify-content: center;
+  width: 16px;
+  height: 100%;
+  display: flex;
+  align-items: center;
+  justify-content: center;
 }
 
 .theia-breadcrumbs .theia-breadcrumb-item:first-of-type::before {
-    content: " ";
+  content: " ";
 }
 
 .theia-breadcrumb-item-haspopup:hover {
-    background: var(--theia-accent-color3);
-    cursor: pointer;
+  background: var(--theia-accent-color3);
+  cursor: pointer;
 }
 
 #theia-breadcrumbs-popups-overlay {
-    height: 0px;
+  height: 0px;
 }
 
 .theia-breadcrumbs-popup {
-    position: fixed;
-    width: 300px;
-    max-height: 200px;
-    z-index: 10000;
-    padding: 0px;
-    background: var(--theia-breadcrumbPicker-background);
-    font-size: var(--theia-ui-font-size1);
-    color: var(--theia-ui-font-color1);
-    box-shadow: 0px 1px 6px rgba(0, 0, 0, 0.2);
-    overflow: hidden;
+  position: fixed;
+  width: 300px;
+  max-height: 200px;
+  z-index: 10000;
+  padding: 0px;
+  background: var(--theia-breadcrumbPicker-background);
+  font-size: var(--theia-ui-font-size1);
+  color: var(--theia-ui-font-color1);
+  box-shadow: 0px 1px 6px rgba(0, 0, 0, 0.2);
+  overflow: hidden;
 }
 
 .theia-breadcrumbs-popup:focus {
-    outline-width: 0;
-    outline-style: none;
+  outline-width: 0;
+  outline-style: none;
 }
 
 .theia-breadcrumbs-popup ul {
-    display: flex;
-    flex-direction: column;
-    outline-style: none;
-    list-style-type: none;
-    padding-inline-start: 0px;
-    margin: 0 0 0 4px;
+  display: flex;
+  flex-direction: column;
+  outline-style: none;
+  list-style-type: none;
+  padding-inline-start: 0px;
+  margin: 0 0 0 4px;
 }
 
 .theia-breadcrumbs-popup ul li {
-    display: flex;
-    align-items: center;
-    flex: 0 1 auto;
-    white-space: nowrap;
-    cursor: pointer;
-    outline: none;
-    padding: .25rem .25rem .25rem .25rem;
+  display: flex;
+  align-items: center;
+  flex: 0 1 auto;
+  white-space: nowrap;
+  cursor: pointer;
+  outline: none;
+  padding: 0.25rem 0.25rem 0.25rem 0.25rem;
 }
 
 .theia-breadcrumbs-popup ul li:hover {
-    background: var(--theia-accent-color3);
+  background: var(--theia-accent-color3);
 }

package/src/browser/style/dialog.css

@@ -11,113 +11,116 @@
  * with the GNU Classpath Exception which is available at
  * https://www.gnu.org/software/classpath/license.html.
  *
- * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
  ********************************************************************************/
 
 .p-Widget.dialogOverlay {
-    z-index: 5000;
-    display: flex;
-    flex-direction: column;
-    position: fixed;
-    width: 100vw;
-    height: 100vh;
-    top: 0;
-    left: 0;
-    justify-content: center;
-    align-items: center;
-    background: rgba(0, 0, 0, 0.3);
-    font-size: var(--theia-ui-font-size1);
-    padding: 2px;
+  z-index: 5000;
+  display: flex;
+  flex-direction: column;
+  position: fixed;
+  width: 100vw;
+  height: 100vh;
+  top: 0;
+  left: 0;
+  justify-content: center;
+  align-items: center;
+  background: rgba(0, 0, 0, 0.3);
+  font-size: var(--theia-ui-font-size1);
+  padding: 2px;
 }
 .p-Widget.dialogOverlay .dialogBlock {
-    display: flex;
-    flex-direction: column;
-    min-width: 400px;
-    color: var(--theia-editorWidget-foreground);
-    background-color: var(--theia-editorWidget-background);
-    border: 1px solid var(--theia-contrastBorder);
-    box-shadow: 0 0px 8px var(--theia-widget-shadow);
+  display: flex;
+  flex-direction: column;
+  min-width: 400px;
+  color: var(--theia-editorWidget-foreground);
+  background-color: var(--theia-editorWidget-background);
+  border: 1px solid var(--theia-contrastBorder);
+  border-radius: 4px;
+  overflow: hidden;
+  box-shadow: 0 0px 8px var(--theia-widget-shadow);
 }
 .p-Widget.dialogOverlay .dialogTitle {
-    display: flex;
-    flex-direction: row;
-    flex-wrap: nowrap;
-    justify-content: space-between;
-    align-items: center;
-    text-align: center;
-    font-size: var(--theia-ui-font-size1);
-    background-color: var(--theia-statusBar-background);
-    color: var(--theia-statusBar-foreground);
-    padding: 0 calc(var(--theia-ui-padding)*2);
-    min-height: 24px;
+  display: flex;
+  flex-direction: row;
+  flex-wrap: nowrap;
+  justify-content: space-between;
+  align-items: center;
+  text-align: center;
+  font-size: var(--theia-ui-font-size1);
+  background-color: var(--theia-statusBar-background);
+  color: var(--theia-statusBar-foreground);
+  padding: 0 calc(var(--theia-ui-padding) * 2);
+  min-height: 24px;
 }
 
 .p-Widget.dialogOverlay .dialogTitle i.closeButton {
-    cursor: pointer;
+  cursor: pointer;
 }
 
 .p-Widget.dialogOverlay .dialogContent {
-    display: flex;
-    flex-direction: column;
-    align-items: stretch;
-    position: relative;
-    padding: calc(var(--theia-ui-padding)*2);
-    white-space: pre-line;
-    max-height: 70vh;
-    overflow-y: auto;
+  display: flex;
+  flex-direction: column;
+  align-items: stretch;
+  position: relative;
+  padding: calc(var(--theia-ui-padding) * 2);
+  white-space: pre-line;
+  max-height: 70vh;
+  overflow-y: auto;
 }
 
 .p-Widget.dialogOverlay .dialogControl {
-    padding: calc(var(--theia-ui-padding)*2);
-    display: flex;
-    flex-direction: row;
-    align-content: right;
-    flex-wrap: nowrap;
-    justify-content: flex-end;
-    min-height: 21px;
+  padding: calc(var(--theia-ui-padding) * 2);
+  display: flex;
+  flex-direction: row;
+  align-content: right;
+  flex-wrap: nowrap;
+  justify-content: flex-end;
+  min-height: 21px;
 }
 
 .p-Widget.dialogOverlay.hidden {
-    display: none;
+  display: none;
 }
 .p-Widget.dialogOverlay.dialogErrorMessage {
-    display: none;
+  display: none;
 }
 .p-Widget.dialogOverlay .error {
-    color: var(--theia-inputValidation-errorForeground);
+  color: var(--theia-inputValidation-errorForeground);
 }
 .p-Widget.dialogOverlay .error.main {
-    color: var(--theia-inputValidation-errorForeground);
-    border-color: var(--theia-inputValidation-errorBorder);
+  color: var(--theia-inputValidation-errorForeground);
+  border-color: var(--theia-inputValidation-errorBorder);
 }
 .p-Widget.dialogOverlay .error > .theia-button.main {
-    background-color: var(--theia-inputValidation-errorBackground);
-    color: var(--theia-inputValidation-errorForeground);
+  background-color: var(--theia-inputValidation-errorBackground);
+  color: var(--theia-inputValidation-errorForeground);
 }
 .p-Widget.dialogOverlay .error > .dialogErrorMessage {
-    margin-top: calc(var(--theia-ui-padding)*3);
-    font-size: var(--theia-ui-font-size1);
-    display: block;
+  margin-top: calc(var(--theia-ui-padding) * 3);
+  font-size: var(--theia-ui-font-size1);
+  display: block;
 }
 
 .theia-dialog-node {
-    line-height: var(--theia-content-line-height);
-    margin-top: calc(var(--theia-ui-padding)*1.5);
-    margin-left: calc(var(--theia-ui-padding)*2.5);
+  line-height: var(--theia-content-line-height);
+  margin-top: calc(var(--theia-ui-padding) * 1.5);
+  margin-left: calc(var(--theia-ui-padding) * 2.5);
 }
 
 .theia-dialog-node-content {
-    display: flex;
-    align-items: center;
-    margin-right: calc(var(--theia-ui-padding)*1.5);}
+  display: flex;
+  align-items: center;
+  margin-right: calc(var(--theia-ui-padding) * 1.5);
+}
 
 .theia-dialog-node-segment {
-    flex-grow: 0;
-    user-select: none;
-    white-space: nowrap;
+  flex-grow: 0;
+  user-select: none;
+  white-space: nowrap;
 }
 
 .theia-dialog-icon {
-    align-content: center;
-    margin-right: calc(var(--theia-ui-padding)*1.5);
+  align-content: center;
+  margin-right: calc(var(--theia-ui-padding) * 1.5);
 }

package/src/browser/style/dockpanel.css

@@ -11,7 +11,7 @@
  * with the GNU Classpath Exception which is available at
  * https://www.gnu.org/software/classpath/license.html.
  *
- * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
  ********************************************************************************/
 
 .p-DockPanel.p-SplitPanel-child {
@@ -23,26 +23,26 @@
   min-height: 100px;
 }
 
-.p-DockPanel-handle[data-orientation='vertical'] {
+.p-DockPanel-handle[data-orientation="vertical"] {
   min-height: var(--theia-border-width);
   z-index: 3;
 }
 
-.p-DockPanel-handle[data-orientation='horizontal'] {
+.p-DockPanel-handle[data-orientation="horizontal"] {
   min-width: var(--theia-border-width);
 }
 
-.p-DockPanel-handle[data-orientation='horizontal']::after {
+.p-DockPanel-handle[data-orientation="horizontal"]::after {
   min-width: var(--theia-sash-width);
   transform: translateX(0%);
-  left: calc(-1*var(--theia-sash-width)/2);
+  left: calc(-1 * var(--theia-sash-width) / 2);
 }
 
-.p-DockPanel-handle[data-orientation='vertical']::after {
+.p-DockPanel-handle[data-orientation="vertical"]::after {
   min-height: var(--theia-sash-width);
   width: 100%;
   transform: translateY(0%);
-  top: calc(-1*var(--theia-sash-width)/2);
+  top: calc(-1 * var(--theia-sash-width) / 2);
 }
 
 .p-DockPanel-handle:hover::after {
@@ -72,5 +72,5 @@
 }
 
 .p-DockPanel-overlay.p-mod-root-bottom {
-    background: var(--theia-panel-dropBackground);
+  background: var(--theia-panel-dropBackground);
 }

package/src/browser/style/hover-service.css

@@ -11,89 +11,91 @@
  * with the GNU Classpath Exception which is available at
  * https://www.gnu.org/software/classpath/license.html.
  *
- * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
  ********************************************************************************/
 
 /* Adapted from https://github.com/microsoft/vscode/blob/7d9b1c37f8e5ae3772782ba3b09d827eb3fdd833/src/vs/workbench/services/hover/browser/hoverService.ts */
 
 :root {
-    --theia-hover-max-width: 500px;
+  --theia-hover-max-width: 500px;
+  --theia-hover-preview-width: 300px;
 }
 
 .theia-hover {
-    font-family: var(--theia-ui-font-family);
-    font-size: var(--theia-ui-font-size1);
-    color: var(--theia-editorHoverWidget-foreground);
-    background-color: var(--theia-editorHoverWidget-background);
-    border: 1px solid var(--theia-editorHoverWidget-border);
-    padding: var(--theia-ui-padding);
-    max-width: var(--theia-hover-max-width);
+  font-family: var(--theia-ui-font-family);
+  font-size: var(--theia-ui-font-size1);
+  color: var(--theia-editorHoverWidget-foreground);
+  background-color: var(--theia-editorHoverWidget-background);
+  border: 1px solid var(--theia-editorHoverWidget-border);
+  padding: var(--theia-ui-padding);
+  max-width: var(--theia-hover-max-width);
 }
 
 .theia-hover .hover-row:not(:first-child):not(:empty) {
-    border-top: 1px solid var(--theia-editorHoverWidgetInternalBorder);
+  border-top: 1px solid var(--theia-editorHoverWidgetInternalBorder);
 }
 
 .theia-hover hr {
-    border-top: 1px solid var(--theia-editorHoverWidgetInternalBorder);
-    border-bottom: 0px solid var(--theia-editorHoverWidgetInternalBorder);
-    margin: var(--theia-ui-padding) calc(var(--theia-ui-padding) * -1);
+  border-top: 1px solid var(--theia-editorHoverWidgetInternalBorder);
+  border-bottom: 0px solid var(--theia-editorHoverWidgetInternalBorder);
+  margin: var(--theia-ui-padding) calc(var(--theia-ui-padding) * -1);
 }
 
 .theia-hover a {
-    color: var(--theia-textLink-foreground);
+  color: var(--theia-textLink-foreground);
 }
 
 .theia-hover a:hover {
-    color: var(--theia-textLink-active-foreground);
+  color: var(--theia-textLink-active-foreground);
 }
 
 .theia-hover .hover-row .actions {
-    background-color: var(--theia-editorHoverWidget-statusBarBackground);
+  background-color: var(--theia-editorHoverWidget-statusBarBackground);
 }
 
 .theia-hover code {
-    background-color: var(--theia-textCodeBlock-background);
-    font-family: var(--theia-code-font-family);
+  background-color: var(--theia-textCodeBlock-background);
+  font-family: var(--theia-code-font-family);
 }
 
 .theia-hover::before {
-    content: '';
-    position: absolute;
+  content: "";
+  position: absolute;
 }
 
 .theia-hover.top::before {
-    left: var(--theia-hover-before-position);
-    bottom: -5px;
-    border-top: 5px solid var(--theia-editorHoverWidget-border);
-    border-left: 5px solid transparent;
-    border-right: 5px solid transparent;
+  left: var(--theia-hover-before-position);
+  bottom: -5px;
+  border-top: 5px solid var(--theia-editorHoverWidget-border);
+  border-left: 5px solid transparent;
+  border-right: 5px solid transparent;
 }
 
 .theia-hover.bottom::before {
-    left: var(--theia-hover-before-position);
-    top: -5px;
-    border-bottom: 5px solid var(--theia-editorHoverWidget-border);
-    border-left: 5px solid transparent;
-    border-right: 5px solid transparent;
+  left: var(--theia-hover-before-position);
+  top: -5px;
+  border-bottom: 5px solid var(--theia-editorHoverWidget-border);
+  border-left: 5px solid transparent;
+  border-right: 5px solid transparent;
 }
 
 .theia-hover.left::before {
-    top: var(--theia-hover-before-position);
-    right: -5px;
-    border-left: 5px solid var(--theia-editorHoverWidget-border);
-    border-top: 5px solid transparent;
-    border-bottom: 5px solid transparent;
+  top: var(--theia-hover-before-position);
+  right: -5px;
+  border-left: 5px solid var(--theia-editorHoverWidget-border);
+  border-top: 5px solid transparent;
+  border-bottom: 5px solid transparent;
 }
 
 .theia-hover.right::before {
-    top: var(--theia-hover-before-position);
-    left: -5px;
-    border-right: 5px solid var(--theia-editorHoverWidget-border);
-    border-top: 5px solid transparent;
-    border-bottom: 5px solid transparent;
+  top: var(--theia-hover-before-position);
+  left: -5px;
+  border-right: 5px solid var(--theia-editorHoverWidget-border);
+  border-top: 5px solid transparent;
+  border-bottom: 5px solid transparent;
 }
 
 .theia-hover.extended-tab-preview {
-    border-radius: 10px;
+  border-radius: 10px;
+  width: var(--theia-hover-preview-width);
 }