@theia/core 1.39.0-next.9 → 1.40.0

package/src/browser/style/progress-bar.css

@@ -11,32 +11,33 @@
  * 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
  ********************************************************************************/
 
 .theia-progress-bar-container {
-    width: 100%;
-    height: 2px;
+  width: 100%;
+  height: 2px;
 }
 
 .theia-progress-bar {
-    background-color: var(--theia-progressBar-background);
-    height: 2px;
-    width: 3%;
-    animation: progress-animation 1.3s 0s infinite cubic-bezier(0.645, 0.045, 0.355, 1);
+  background-color: var(--theia-progressBar-background);
+  height: 2px;
+  width: 3%;
+  animation: progress-animation 1.3s 0s infinite
+    cubic-bezier(0.645, 0.045, 0.355, 1);
 }
 
 @keyframes progress-animation {
-    0% {
-        margin-left: 0%;
-        width: 3%;
-    }
-    60% {
-        margin-left: 45%;
-        width: 20%;
-    }
-    100% {
-        margin-left: 99%;
-        width: 1%;
-    }
+  0% {
+    margin-left: 0%;
+    width: 3%;
+  }
+  60% {
+    margin-left: 45%;
+    width: 20%;
+  }
+  100% {
+    margin-left: 99%;
+    width: 1%;
+  }
 }

package/src/browser/style/quick-title-bar.css

@@ -11,35 +11,35 @@
  * 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
  ********************************************************************************/
 
 .theia-quick-title-container {
-    display: flex;
-    padding: calc(var(--theia-ui-padding)/2);
-    justify-content: space-between;
-    align-items: center;
-    background: var(--theia-titleBar-activeBackground);
+  display: flex;
+  padding: calc(var(--theia-ui-padding) / 2);
+  justify-content: space-between;
+  align-items: center;
+  background: var(--theia-titleBar-activeBackground);
 }
 
 .theia-quick-title-left-bar {
-    display: flex;
-    text-align: left;
+  display: flex;
+  text-align: left;
 }
 
 .theia-quick-title-right-bar {
-    display: flex;
-    text-align: right;
+  display: flex;
+  text-align: right;
 }
 
 .theia-quick-title-header {
-    text-align: center;
+  text-align: center;
 }
 
 .theia-quick-title-button {
-    width: var(--theia-icon-size);
-    height: var(--theia-icon-size);
-    display: flex;
-    align-items: center;
-    cursor: pointer;
+  width: var(--theia-icon-size);
+  height: var(--theia-icon-size);
+  display: flex;
+  align-items: center;
+  cursor: pointer;
 }

package/src/browser/style/scrollbars.css

@@ -11,38 +11,37 @@
  * 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
  ********************************************************************************/
 
-@import url('~perfect-scrollbar/css/perfect-scrollbar.css');
+@import url("~perfect-scrollbar/css/perfect-scrollbar.css");
 
 ::-webkit-scrollbar {
-    height: var(--theia-scrollbar-width);
-    width: var(--theia-scrollbar-width);
-    background: transparent;
+  height: var(--theia-scrollbar-width);
+  width: var(--theia-scrollbar-width);
+  background: transparent;
 }
 
 ::-webkit-scrollbar-thumb {
-    background: var(--theia-scrollbarSlider-background);
+  background: var(--theia-scrollbarSlider-background);
 }
 
 ::-webkit-scrollbar:hover {
-    background: transparent;
+  background: transparent;
 }
 
 ::-webkit-scrollbar-thumb:hover {
-    background: var(--theia-scrollbarSlider-hoverBackground);
+  background: var(--theia-scrollbarSlider-hoverBackground);
 }
 
 ::-webkit-scrollbar-thumb:active {
-    background: var(--theia-scrollbarSlider-activeBackground);
+  background: var(--theia-scrollbarSlider-activeBackground);
 }
 
 ::-webkit-scrollbar-corner {
-    background: transparent;
+  background: transparent;
 }
 
-
 /*-----------------------------------------------------------------------------
 | Perfect scrollbar
 |----------------------------------------------------------------------------*/
@@ -50,16 +49,18 @@
 #theia-app-shell .ps__rail-x,
 #theia-dialog-shell .ps__rail-x,
 #theia-breadcrumbs-popups-overlay .ps__rail-x {
-    height: var(--theia-scrollbar-rail-width);
+  height: var(--theia-scrollbar-rail-width);
 }
 
 #theia-app-shell .ps__rail-x > .ps__thumb-x,
 #theia-dialog-shell .ps__rail-x > .ps__thumb-x,
 #theia-breadcrumbs-popups-overlay .ps__thumb-x {
-    height: var(--theia-scrollbar-width);
-    bottom: calc((var(--theia-scrollbar-rail-width) - var(--theia-scrollbar-width)) / 2);
-    background: var(--theia-scrollbarSlider-background);
-    border-radius: 0px;
+  height: var(--theia-scrollbar-width);
+  bottom: calc(
+    (var(--theia-scrollbar-rail-width) - var(--theia-scrollbar-width)) / 2
+  );
+  background: var(--theia-scrollbarSlider-background);
+  border-radius: 0px;
 }
 
 #theia-app-shell .ps__rail-x:hover,
@@ -68,7 +69,7 @@
 #theia-dialog-shell .ps__rail-x:focus,
 #theia-breadcrumbs-popups-overlay .ps__rail-x:hover,
 #theia-breadcrumbs-popups-overlay .ps__rail-x:focus {
-    height: var(--theia-scrollbar-rail-width);
+  height: var(--theia-scrollbar-rail-width);
 }
 
 #theia-app-shell .ps__rail-x:hover > .ps__thumb-x,
@@ -79,23 +80,25 @@
 #theia-dialog-shell .ps__rail-x.ps--clicking .ps__thumb-x,
 #theia-breadcrumbs-popups-overlay .ps__rail-x:hover > .ps__thumb-x,
 #theia-breadcrumbs-popups-overlay .ps__rail-x:focus > .ps__thumb-x,
-#theia-breadcrumbs-popups-overlay .ps__rail-x.ps--clicking .ps__thumb-x  {
-    height: var(--theia-scrollbar-width);
+#theia-breadcrumbs-popups-overlay .ps__rail-x.ps--clicking .ps__thumb-x {
+  height: var(--theia-scrollbar-width);
 }
 
 #theia-app-shell .ps__rail-y,
 #theia-dialog-shell .ps__rail-y,
 #theia-breadcrumbs-popups-overlay .ps__rail-y {
-    width: var(--theia-scrollbar-rail-width);
+  width: var(--theia-scrollbar-rail-width);
 }
 
 #theia-app-shell .ps__rail-y > .ps__thumb-y,
 #theia-dialog-shell .ps__rail-y > .ps__thumb-y,
 #theia-breadcrumbs-popups-overlay .ps__rail-y > .ps__thumb-y {
-    width: var(--theia-scrollbar-width);
-    right: calc((var(--theia-scrollbar-rail-width) - var(--theia-scrollbar-width)) / 2);
-    background: var(--theia-scrollbarSlider-background);
-    border-radius: 0px;
+  width: var(--theia-scrollbar-width);
+  right: calc(
+    (var(--theia-scrollbar-rail-width) - var(--theia-scrollbar-width)) / 2
+  );
+  background: var(--theia-scrollbarSlider-background);
+  border-radius: 0px;
 }
 
 #theia-app-shell .ps__rail-y:hover,
@@ -104,7 +107,7 @@
 #theia-dialog-shell .ps__rail-y:focus,
 #theia-breadcrumbs-popups-overlay .ps__rail-y:hover,
 #theia-breadcrumbs-popups-overlay .ps__rail-y:focus {
-    width: var(--theia-scrollbar-rail-width);
+  width: var(--theia-scrollbar-rail-width);
 }
 
 #theia-app-shell .ps__rail-y:hover > .ps__thumb-y,
@@ -115,41 +118,55 @@
 #theia-dialog-shell .ps__rail-y.ps--clicking .ps__thumb-y,
 #theia-breadcrumbs-popups-overlay .ps__rail-y:hover > .ps__thumb-y,
 #theia-breadcrumbs-popups-overlay .ps__rail-y:focus > .ps__thumb-y,
-#theia-breadcrumbs-popups-overlay .ps__rail-y.ps--clicking .ps__thumb-y  {
-    right: calc((var(--theia-scrollbar-rail-width) - var(--theia-scrollbar-width)) / 2);
-    width: var(--theia-scrollbar-width);
-}
-
-#theia-app-shell .ps [class^='ps__rail'].ps--clicking > [class^='ps__thumb'],
-#theia-dialog-shell .ps [class^='ps__rail'].ps--clicking > [class^='ps__thumb'],
-#theia-breadcrumbs-popups-overlay .ps [class^='ps__rail'].ps--clicking > [class^='ps__thumb'] {
-    background-color: var(--theia-scrollbarSlider-activeBackground);
-}
-
-#theia-app-shell .ps [class^='ps__rail'] > [class^='ps__thumb']:hover,
-#theia-app-shell .ps [class^='ps__rail'] > [class^='ps__thumb']:focus,
-#theia-dialog-shell .ps [class^='ps__rail'] > [class^='ps__thumb']:hover,
-#theia-dialog-shell .ps [class^='ps__rail'] > [class^='ps__thumb']:focus,
-#theia-breadcrumbs-popups-overlay .ps [class^='ps__rail'] > [class^='ps__thumb']:hover,
-#theia-breadcrumbs-popups-overlay .ps [class^='ps__rail'] > [class^='ps__thumb']:focus {
-    background: var(--theia-scrollbarSlider-hoverBackground);
-}
-
-#theia-app-shell .ps [class^='ps__rail'] > [class^='ps__thumb']:active,
-#theia-dialog-shell .ps [class^='ps__rail'] > [class^='ps__thumb']:active,
-#theia-breadcrumbs-popups-overlay .ps [class^='ps__rail'] > [class^='ps__thumb']:active {
-    background: var(--theia-scrollbarSlider-activeBackground);
-}
-
-#theia-app-shell .ps:hover > [class^='ps__rail'],
-#theia-app-shell .ps--focus > [class^='ps__rail'],
-#theia-app-shell .ps--scrolling-y > [class^='ps__rail'],
-#theia-dialog-shell .ps:hover > [class^='ps__rail'],
-#theia-dialog-shell .ps--focus > [class^='ps__rail'],
-#theia-dialog-shell .ps--scrolling-y > [class^='ps__rail'],
-#theia-breadcrumbs-popups-overlay .ps:hover > [class^='ps__rail'],
-#theia-breadcrumbs-popups-overlay .ps--focus > [class^='ps__rail'],
-#theia-breadcrumbs-popups-overlay .ps--scrolling-y > [class^='ps__rail'] {
-    opacity: 1;
-    background: transparent;
+#theia-breadcrumbs-popups-overlay .ps__rail-y.ps--clicking .ps__thumb-y {
+  right: calc(
+    (var(--theia-scrollbar-rail-width) - var(--theia-scrollbar-width)) / 2
+  );
+  width: var(--theia-scrollbar-width);
+}
+
+#theia-app-shell .ps [class^="ps__rail"].ps--clicking > [class^="ps__thumb"],
+#theia-dialog-shell .ps [class^="ps__rail"].ps--clicking > [class^="ps__thumb"],
+#theia-breadcrumbs-popups-overlay
+  .ps
+  [class^="ps__rail"].ps--clicking
+  > [class^="ps__thumb"] {
+  background-color: var(--theia-scrollbarSlider-activeBackground);
+}
+
+#theia-app-shell .ps [class^="ps__rail"] > [class^="ps__thumb"]:hover,
+#theia-app-shell .ps [class^="ps__rail"] > [class^="ps__thumb"]:focus,
+#theia-dialog-shell .ps [class^="ps__rail"] > [class^="ps__thumb"]:hover,
+#theia-dialog-shell .ps [class^="ps__rail"] > [class^="ps__thumb"]:focus,
+#theia-breadcrumbs-popups-overlay
+  .ps
+  [class^="ps__rail"]
+  > [class^="ps__thumb"]:hover,
+#theia-breadcrumbs-popups-overlay
+  .ps
+  [class^="ps__rail"]
+  > [class^="ps__thumb"]:focus {
+  background: var(--theia-scrollbarSlider-hoverBackground);
+}
+
+#theia-app-shell .ps [class^="ps__rail"] > [class^="ps__thumb"]:active,
+#theia-dialog-shell .ps [class^="ps__rail"] > [class^="ps__thumb"]:active,
+#theia-breadcrumbs-popups-overlay
+  .ps
+  [class^="ps__rail"]
+  > [class^="ps__thumb"]:active {
+  background: var(--theia-scrollbarSlider-activeBackground);
+}
+
+#theia-app-shell .ps:hover > [class^="ps__rail"],
+#theia-app-shell .ps--focus > [class^="ps__rail"],
+#theia-app-shell .ps--scrolling-y > [class^="ps__rail"],
+#theia-dialog-shell .ps:hover > [class^="ps__rail"],
+#theia-dialog-shell .ps--focus > [class^="ps__rail"],
+#theia-dialog-shell .ps--scrolling-y > [class^="ps__rail"],
+#theia-breadcrumbs-popups-overlay .ps:hover > [class^="ps__rail"],
+#theia-breadcrumbs-popups-overlay .ps--focus > [class^="ps__rail"],
+#theia-breadcrumbs-popups-overlay .ps--scrolling-y > [class^="ps__rail"] {
+  opacity: 1;
+  background: transparent;
 }

package/src/browser/style/search-box.css

@@ -11,111 +11,113 @@
  * 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-search-box-padding: 3px;
-    --theia-search-box-radius: 2px;
-    --theia-search-box-spacing: 4px;
-    --theia-search-box-max-width: 500px;
+  --theia-search-box-padding: 3px;
+  --theia-search-box-radius: 2px;
+  --theia-search-box-spacing: 4px;
+  --theia-search-box-max-width: 500px;
 }
 
 .theia-search-box {
-    position: absolute;
-    display: flex;
-    top: var(--theia-search-box-spacing);
-    right: var(--theia-search-box-spacing);
-    box-shadow: var(--theia-border-width) var(--theia-border-width) var(--theia-widget-shadow);
-    background-color: var(--theia-listFilterWidget-background);
-    z-index: calc(var(--theia-tabbar-toolbar-z-index) + 1);
-    border-radius: var(--theia-search-box-radius);
-    padding: var(--theia-search-box-padding);
-    border: var(--theia-border-width) solid rgba(0, 0, 0, 0)
+  position: absolute;
+  display: flex;
+  top: var(--theia-search-box-spacing);
+  right: var(--theia-search-box-spacing);
+  box-shadow: var(--theia-border-width) var(--theia-border-width)
+    var(--theia-widget-shadow);
+  background-color: var(--theia-listFilterWidget-background);
+  z-index: calc(var(--theia-tabbar-toolbar-z-index) + 1);
+  border-radius: var(--theia-search-box-radius);
+  padding: var(--theia-search-box-padding);
+  border: var(--theia-border-width) solid rgba(0, 0, 0, 0);
 }
 
 .theia-search-box.no-match {
-    border: var(--theia-border-width) solid var(--theia-inputValidation-errorBorder)
+  border: var(--theia-border-width) solid
+    var(--theia-inputValidation-errorBorder);
 }
 
 .theia-search-input {
-    flex-grow: 1;
-    user-select: none;
+  flex-grow: 1;
+  user-select: none;
 }
 
 .theia-search-box > .theia-search-buttons-wrapper {
-    max-width: 0px;
-    transition: max-width .2s ease-out;
-    display: flex;
-    box-sizing: border-box;
-    align-items: center;
+  max-width: 0px;
+  transition: max-width 0.2s ease-out;
+  display: flex;
+  box-sizing: border-box;
+  align-items: center;
 }
 
-.theia-search-box:hover > .theia-search-buttons-wrapper {  
-    max-width: var(--theia-search-box-max-width);
-    transition: max-width .2s ease-in;
+.theia-search-box:hover > .theia-search-buttons-wrapper {
+  max-width: var(--theia-search-box-max-width);
+  transition: max-width 0.2s ease-in;
 }
 
 .theia-search-button {
-    min-width: 1rem;
-    text-align: center;
-    flex-grow: 0;
-    font-family: FontAwesome;
-    font-size: calc(var(--theia-content-font-size) * 0.8);
-    color: var(--theia-editorWidget-foreground);
+  min-width: 1rem;
+  text-align: center;
+  flex-grow: 0;
+  font-family: FontAwesome;
+  font-size: calc(var(--theia-content-font-size) * 0.8);
+  color: var(--theia-editorWidget-foreground);
 }
 
 .theia-search-button.codicon.codicon-filter {
-    color: var(--theia-editorWidget-foreground);
-    align-self: flex-end;
-    margin-left: var(--theia-search-box-spacing);
+  color: var(--theia-editorWidget-foreground);
+  align-self: flex-end;
+  margin-left: var(--theia-search-box-spacing);
 }
 
 .theia-search-button.codicon-filter:not(.filter-active):before {
-    content: "\eb85";
+  content: "\eb85";
 }
 
 .theia-search-button.codicon-filter.filter-active:before {
-    content: "\eb83";
+  content: "\eb83";
 }
 
 .theia-search-button-next:before {
-    content: "\f107";
+  content: "\f107";
 }
 
 .theia-search-button-next:hover,
 .theia-search-button-previous:hover,
 .theia-search-button-close:hover,
 .theia-search-button.codicon-filter:hover {
-    cursor: pointer;
+  cursor: pointer;
 }
 
 .theia-search-button-next:hover:before {
-    content: "\f107";
+  content: "\f107";
 }
 
 .theia-search-button-previous:before {
-    content: "\f106";
+  content: "\f106";
 }
 
 .theia-search-button-previous:hover:before {
-    content: "\f106";
+  content: "\f106";
 }
 
 .theia-search-button-close:before {
-    content: "\f00d";
- }
+  content: "\f00d";
+}
 
 .theia-search-button-close:hover:before {
-    content: "\f00d";
+  content: "\f00d";
 }
 
 .theia-non-selectable {
-    -webkit-user-select: none;
-    -khtml-user-select: none;
-    -moz-user-select: none;
-    -ms-user-select: none;
-    -o-user-select: none;
-    user-select: none;
-    cursor: default;
+  -webkit-user-select: none;
+  -khtml-user-select: none;
+  -moz-user-select: none;
+  -ms-user-select: none;
+  -o-user-select: none;
+  user-select: none;
+  cursor: default;
 }

package/src/browser/style/select-component.css

@@ -11,88 +11,98 @@
  * 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
  ********************************************************************************/
 
 .theia-select-component {
-    background-color: var(--theia-dropdown-background);
-    cursor: pointer;
-    outline: var(--theia-dropdown-border) solid 1px;
-    outline-offset: -1px;
-    min-height: 23px;
-    min-width: 90px;
-    padding: 0px 8px;
-    display: flex;
-    align-items: center;
-    user-select: none;
+  background-color: var(--theia-dropdown-background);
+  cursor: pointer;
+  outline: var(--theia-dropdown-border) solid 1px;
+  outline-offset: -1px;
+  min-height: 23px;
+  min-width: 90px;
+  padding: 0px 8px;
+  display: flex;
+  align-items: center;
+  user-select: none;
+  border-radius: 2px;
 }
 
 .theia-select-component .theia-select-component-label {
-    width: 100%;
-    color: var(--theia-dropdown-foreground);
-    white-space: nowrap;
-    text-overflow: ellipsis;
-    overflow: hidden;
+  width: 100%;
+  color: var(--theia-dropdown-foreground);
+  white-space: nowrap;
+  text-overflow: ellipsis;
+  overflow: hidden;
 }
 
 .theia-select-component:focus {
-    outline-color: var(--theia-focusBorder);
+  outline-color: var(--theia-focusBorder);
 }
 
 .theia-select-component-dropdown {
-    font-family: var(--theia-ui-font-family);
-    font-size: var(--theia-ui-font-size1);
-    color: var(--theia-foreground);
-    background-color: var(--theia-settings-dropdownBackground);
-    outline: var(--theia-focusBorder) solid 1px;
-    outline-offset: -1px;
-    user-select: none;
-    overflow: auto;
+  font-family: var(--theia-ui-font-family);
+  font-size: var(--theia-ui-font-size1);
+  color: var(--theia-foreground);
+  background-color: var(--theia-settings-dropdownBackground);
+  outline: var(--theia-focusBorder) solid 1px;
+  outline-offset: -1px;
+  user-select: none;
+  overflow: auto;
+  border-radius: 2px;
 }
 
 .theia-select-component-dropdown .theia-select-component-option {
-    text-overflow: ellipsis;
-    overflow: hidden;
-    display: flex;
-    padding: 0px 5px;
-    line-height: 22px;
+  text-overflow: ellipsis;
+  overflow: hidden;
+  display: flex;
+  padding: 0px 5px;
+  line-height: 22px;
 }
 
 .theia-select-component-dropdown .theia-select-component-description {
-    padding: 6px 5px;
+  padding: 6px 5px;
 }
 
-.theia-select-component-dropdown .theia-select-component-description:first-child {
-    border-bottom: 1px solid var(--theia-editorWidget-border);
-    margin-bottom: 2px;
+.theia-select-component-dropdown
+  .theia-select-component-description:first-child {
+  border-bottom: 1px solid var(--theia-editorWidget-border);
+  margin-bottom: 2px;
 }
 
-.theia-select-component-dropdown .theia-select-component-description:last-child {
-    border-top: 1px solid var(--theia-editorWidget-border);
-    margin-top: 2px;
+.theia-select-component-dropdown
+  .theia-select-component-description:last-child {
+  border-top: 1px solid var(--theia-editorWidget-border);
+  margin-top: 2px;
 }
 
-.theia-select-component-dropdown .theia-select-component-option .theia-select-component-option-value {
-    width: 100%;
+.theia-select-component-dropdown
+  .theia-select-component-option
+  .theia-select-component-option-value {
+  width: 100%;
 }
 
-.theia-select-component-dropdown .theia-select-component-option .theia-select-component-option-detail {
-    padding-left: 4px;
+.theia-select-component-dropdown
+  .theia-select-component-option
+  .theia-select-component-option-detail {
+  padding-left: 4px;
 }
 
-.theia-select-component-dropdown .theia-select-component-option:not(.selected) .theia-select-component-option-detail {
-    color: var(--theia-textLink-foreground);
+.theia-select-component-dropdown
+  .theia-select-component-option:not(.selected)
+  .theia-select-component-option-detail {
+  color: var(--theia-textLink-foreground);
 }
 
 .theia-select-component-dropdown .theia-select-component-option.selected {
-    color: var(--theia-list-activeSelectionForeground);
-    cursor: pointer;
-    background: var(--theia-list-activeSelectionBackground);
+  color: var(--theia-list-activeSelectionForeground);
+  cursor: pointer;
+  background: var(--theia-list-activeSelectionBackground);
 }
 
 .theia-select-component-dropdown .theia-select-component-separator {
-    width: 84px;
-    height: 1px;
-    margin: 3px 3px;
-    background: var(--theia-foreground);
+  width: 84px;
+  height: 1px;
+  margin: 3px 3px;
+  background: var(--theia-foreground);
 }