@theia/preferences 1.53.0-next.5 → 1.53.0-next.55

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (74) hide show
  1. package/README.md +81 -81
  2. package/lib/browser/preference-tree-model.d.ts.map +1 -1
  3. package/lib/browser/preference-tree-model.js +5 -2
  4. package/lib/browser/preference-tree-model.js.map +1 -1
  5. package/lib/browser/util/preference-layout.d.ts.map +1 -1
  6. package/lib/browser/util/preference-layout.js +4 -0
  7. package/lib/browser/util/preference-layout.js.map +1 -1
  8. package/lib/browser/util/preference-tree-generator.d.ts +14 -2
  9. package/lib/browser/util/preference-tree-generator.d.ts.map +1 -1
  10. package/lib/browser/util/preference-tree-generator.js +89 -26
  11. package/lib/browser/util/preference-tree-generator.js.map +1 -1
  12. package/lib/browser/util/preference-tree-label-provider.d.ts.map +1 -1
  13. package/lib/browser/util/preference-tree-label-provider.js +4 -11
  14. package/lib/browser/util/preference-tree-label-provider.js.map +1 -1
  15. package/lib/browser/util/preference-types.d.ts +4 -2
  16. package/lib/browser/util/preference-types.d.ts.map +1 -1
  17. package/lib/browser/util/preference-types.js.map +1 -1
  18. package/lib/browser/views/preference-tree-widget.d.ts +2 -0
  19. package/lib/browser/views/preference-tree-widget.d.ts.map +1 -1
  20. package/lib/browser/views/preference-tree-widget.js +10 -1
  21. package/lib/browser/views/preference-tree-widget.js.map +1 -1
  22. package/package.json +9 -9
  23. package/src/browser/abstract-resource-preference-provider.spec.ts +95 -95
  24. package/src/browser/abstract-resource-preference-provider.ts +232 -232
  25. package/src/browser/folder-preference-provider.ts +58 -58
  26. package/src/browser/folders-preferences-provider.ts +244 -244
  27. package/src/browser/index.ts +23 -23
  28. package/src/browser/monaco-jsonc-editor.ts +67 -67
  29. package/src/browser/package.spec.ts +28 -28
  30. package/src/browser/preference-bindings.ts +65 -65
  31. package/src/browser/preference-frontend-contribution.ts +38 -38
  32. package/src/browser/preference-frontend-module.ts +66 -66
  33. package/src/browser/preference-open-handler.ts +53 -53
  34. package/src/browser/preference-transaction-manager.ts +287 -287
  35. package/src/browser/preference-tree-model.ts +260 -257
  36. package/src/browser/preferences-contribution.ts +263 -263
  37. package/src/browser/preferences-json-schema-contribution.ts +86 -86
  38. package/src/browser/preferences-monaco-contribution.ts +27 -27
  39. package/src/browser/section-preference-provider.ts +83 -83
  40. package/src/browser/style/index.css +506 -506
  41. package/src/browser/style/preference-array.css +94 -94
  42. package/src/browser/style/preference-context-menu.css +74 -74
  43. package/src/browser/style/preference-file.css +31 -31
  44. package/src/browser/style/preference-object.css +49 -49
  45. package/src/browser/style/search-input.css +66 -66
  46. package/src/browser/user-configs-preference-provider.ts +127 -127
  47. package/src/browser/user-preference-provider.ts +35 -35
  48. package/src/browser/util/preference-layout.ts +381 -377
  49. package/src/browser/util/preference-scope-command-manager.ts +75 -75
  50. package/src/browser/util/preference-tree-generator.ts +260 -190
  51. package/src/browser/util/preference-tree-label-provider.spec.ts +110 -110
  52. package/src/browser/util/preference-tree-label-provider.ts +72 -78
  53. package/src/browser/util/preference-types.ts +177 -175
  54. package/src/browser/views/components/preference-array-input.ts +174 -174
  55. package/src/browser/views/components/preference-boolean-input.ts +69 -69
  56. package/src/browser/views/components/preference-file-input.ts +104 -104
  57. package/src/browser/views/components/preference-json-input.ts +78 -78
  58. package/src/browser/views/components/preference-markdown-renderer.ts +68 -68
  59. package/src/browser/views/components/preference-node-renderer-creator.ts +141 -141
  60. package/src/browser/views/components/preference-node-renderer.ts +477 -477
  61. package/src/browser/views/components/preference-number-input.ts +147 -147
  62. package/src/browser/views/components/preference-select-input.ts +131 -131
  63. package/src/browser/views/components/preference-string-input.ts +76 -76
  64. package/src/browser/views/preference-editor-widget.ts +349 -349
  65. package/src/browser/views/preference-scope-tabbar-widget.tsx +344 -344
  66. package/src/browser/views/preference-searchbar-widget.tsx +183 -183
  67. package/src/browser/views/preference-tree-widget.tsx +102 -93
  68. package/src/browser/views/preference-widget-bindings.ts +102 -102
  69. package/src/browser/views/preference-widget.tsx +118 -118
  70. package/src/browser/workspace-file-preference-provider.ts +100 -100
  71. package/src/browser/workspace-preference-provider.ts +134 -134
  72. package/src/common/cli-preferences.ts +22 -22
  73. package/src/node/preference-backend-module.ts +33 -33
  74. package/src/node/preference-cli-contribution.ts +48 -48
@@ -1,94 +1,94 @@
1
- /********************************************************************************
2
- * Copyright (C) 2020 Ericsson and others.
3
- *
4
- * This program and the accompanying materials are made available under the
5
- * terms of the Eclipse Public License v. 2.0 which is available at
6
- * http://www.eclipse.org/legal/epl-2.0.
7
- *
8
- * This Source Code may also be made available under the following Secondary
9
- * Licenses when the conditions for such availability set forth in the Eclipse
10
- * Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
- * with the GNU Classpath Exception which is available at
12
- * https://www.gnu.org/software/classpath/license.html.
13
- *
14
- * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
- ********************************************************************************/
16
-
17
- .theia-settings-container .preference-array {
18
- list-style: none;
19
- padding: 0;
20
- }
21
-
22
- .theia-settings-container .preference-array-element {
23
- display: -webkit-box;
24
- display: -ms-flexbox;
25
- display: flex;
26
- -webkit-box-pack: justify;
27
- -ms-flex-pack: justify;
28
- justify-content: space-between;
29
- -webkit-box-align: center;
30
- -ms-flex-align: center;
31
- align-items: center;
32
- padding: calc(var(--theia-ui-padding) / 2) var(--theia-ui-padding);
33
- border-bottom: var(--theia-panel-border) 2px solid;
34
- }
35
-
36
- .theia-settings-container .pref-input li:nth-last-child(2) {
37
- border-bottom: none;
38
- }
39
-
40
- .theia-settings-container .pref-input li:last-child {
41
- display: -webkit-box;
42
- display: -ms-flexbox;
43
- display: flex;
44
- -webkit-box-align: center;
45
- -ms-flex-align: center;
46
- align-items: center;
47
- }
48
-
49
- .theia-settings-container .preference-array-element:hover {
50
- background-color: rgba(50%, 50%, 50%, 0.1);
51
- }
52
-
53
- .theia-settings-container .preference-array-element-btn {
54
- width: 1.5em;
55
- height: 1.5em;
56
- display: -webkit-box;
57
- display: -ms-flexbox;
58
- display: flex;
59
- -webkit-box-pack: center;
60
- -ms-flex-pack: center;
61
- justify-content: center;
62
- -webkit-box-align: center;
63
- -ms-flex-align: center;
64
- align-items: center;
65
- }
66
-
67
- .theia-settings-container
68
- .preference-array-element
69
- .preference-array-element-btn {
70
- opacity: 0;
71
- }
72
-
73
- .theia-settings-container
74
- .preference-array-element:hover
75
- .preference-array-element-btn {
76
- opacity: 1;
77
- }
78
-
79
- .theia-settings-container .preference-array-element-btn:hover {
80
- background-color: rgba(50%, 50%, 50%, 0.1);
81
- cursor: pointer;
82
- }
83
-
84
- .theia-settings-container .preference-array .codicon.codicon-add {
85
- margin-left: calc((var(--theia-icon-size) + 4px) * -1);
86
- margin-right: 4px;
87
- width: var(--theia-icon-size);
88
- height: var(--theia-icon-size);
89
- }
90
-
91
- .theia-settings-container .preference-array-input {
92
- padding-right: calc(var(--theia-icon-size) + var(--theia-ui-padding));
93
- width: 100%;
94
- }
1
+ /********************************************************************************
2
+ * Copyright (C) 2020 Ericsson and others.
3
+ *
4
+ * This program and the accompanying materials are made available under the
5
+ * terms of the Eclipse Public License v. 2.0 which is available at
6
+ * http://www.eclipse.org/legal/epl-2.0.
7
+ *
8
+ * This Source Code may also be made available under the following Secondary
9
+ * Licenses when the conditions for such availability set forth in the Eclipse
10
+ * Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
+ * with the GNU Classpath Exception which is available at
12
+ * https://www.gnu.org/software/classpath/license.html.
13
+ *
14
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
+ ********************************************************************************/
16
+
17
+ .theia-settings-container .preference-array {
18
+ list-style: none;
19
+ padding: 0;
20
+ }
21
+
22
+ .theia-settings-container .preference-array-element {
23
+ display: -webkit-box;
24
+ display: -ms-flexbox;
25
+ display: flex;
26
+ -webkit-box-pack: justify;
27
+ -ms-flex-pack: justify;
28
+ justify-content: space-between;
29
+ -webkit-box-align: center;
30
+ -ms-flex-align: center;
31
+ align-items: center;
32
+ padding: calc(var(--theia-ui-padding) / 2) var(--theia-ui-padding);
33
+ border-bottom: var(--theia-panel-border) 2px solid;
34
+ }
35
+
36
+ .theia-settings-container .pref-input li:nth-last-child(2) {
37
+ border-bottom: none;
38
+ }
39
+
40
+ .theia-settings-container .pref-input li:last-child {
41
+ display: -webkit-box;
42
+ display: -ms-flexbox;
43
+ display: flex;
44
+ -webkit-box-align: center;
45
+ -ms-flex-align: center;
46
+ align-items: center;
47
+ }
48
+
49
+ .theia-settings-container .preference-array-element:hover {
50
+ background-color: rgba(50%, 50%, 50%, 0.1);
51
+ }
52
+
53
+ .theia-settings-container .preference-array-element-btn {
54
+ width: 1.5em;
55
+ height: 1.5em;
56
+ display: -webkit-box;
57
+ display: -ms-flexbox;
58
+ display: flex;
59
+ -webkit-box-pack: center;
60
+ -ms-flex-pack: center;
61
+ justify-content: center;
62
+ -webkit-box-align: center;
63
+ -ms-flex-align: center;
64
+ align-items: center;
65
+ }
66
+
67
+ .theia-settings-container
68
+ .preference-array-element
69
+ .preference-array-element-btn {
70
+ opacity: 0;
71
+ }
72
+
73
+ .theia-settings-container
74
+ .preference-array-element:hover
75
+ .preference-array-element-btn {
76
+ opacity: 1;
77
+ }
78
+
79
+ .theia-settings-container .preference-array-element-btn:hover {
80
+ background-color: rgba(50%, 50%, 50%, 0.1);
81
+ cursor: pointer;
82
+ }
83
+
84
+ .theia-settings-container .preference-array .codicon.codicon-add {
85
+ margin-left: calc((var(--theia-icon-size) + 4px) * -1);
86
+ margin-right: 4px;
87
+ width: var(--theia-icon-size);
88
+ height: var(--theia-icon-size);
89
+ }
90
+
91
+ .theia-settings-container .preference-array-input {
92
+ padding-right: calc(var(--theia-icon-size) + var(--theia-ui-padding));
93
+ width: 100%;
94
+ }
@@ -1,74 +1,74 @@
1
- /********************************************************************************
2
- * Copyright (C) 2020 Ericsson and others.
3
- *
4
- * This program and the accompanying materials are made available under the
5
- * terms of the Eclipse Public License v. 2.0 which is available at
6
- * http://www.eclipse.org/legal/epl-2.0.
7
- *
8
- * This Source Code may also be made available under the following Secondary
9
- * Licenses when the conditions for such availability set forth in the Eclipse
10
- * Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
- * with the GNU Classpath Exception which is available at
12
- * https://www.gnu.org/software/classpath/license.html.
13
- *
14
- * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
- ********************************************************************************/
16
-
17
- .theia-settings-container .settings-context-menu-container {
18
- position: relative;
19
- padding-left: var(--theia-ui-padding);
20
- }
21
-
22
- .theia-settings-container .settings-context-menu-btn {
23
- cursor: pointer;
24
- }
25
-
26
- .theia-settings-container .settings-context-menu {
27
- position: absolute;
28
- width: var(--theia-settingsSidebar-width);
29
- list-style: none;
30
- padding: var(--theia-ui-padding);
31
- bottom: calc(100% + 10px);
32
- left: -10px;
33
- z-index: 9999;
34
- background-color: var(--theia-menu-background);
35
- }
36
-
37
- .theia-settings-container .settings-context-menu:before {
38
- content: "";
39
- position: absolute;
40
- left: 10px;
41
- bottom: -10px;
42
- width: 0;
43
- height: 0;
44
- border-left: 10px solid transparent;
45
- border-right: 10px solid transparent;
46
- border-top: 10px solid var(--theia-menu-background);
47
- }
48
-
49
- .theia-settings-container .settings-context-menu li {
50
- padding: var(--theia-ui-padding);
51
- }
52
-
53
- .theia-settings-container .settings-context-menu li:hover {
54
- background-color: var(--theia-menu-selectionBackground);
55
- }
56
-
57
- .theia-settings-container .settings-context-menu i {
58
- padding-right: var(--theia-ui-padding);
59
- width: var(--theia-icon-size);
60
- display: -webkit-inline-box;
61
- display: -ms-inline-flexbox;
62
- display: inline-flex;
63
- -webkit-box-pack: center;
64
- -ms-flex-pack: center;
65
- justify-content: center;
66
- }
67
-
68
- .theia-settings-container .pref-context-menu-btn {
69
- margin-left: 5px;
70
- }
71
-
72
- .theia-settings-container .pref-context-menu-btn:hover {
73
- background-color: rgba(50%, 50%, 50%, 0.1);
74
- }
1
+ /********************************************************************************
2
+ * Copyright (C) 2020 Ericsson and others.
3
+ *
4
+ * This program and the accompanying materials are made available under the
5
+ * terms of the Eclipse Public License v. 2.0 which is available at
6
+ * http://www.eclipse.org/legal/epl-2.0.
7
+ *
8
+ * This Source Code may also be made available under the following Secondary
9
+ * Licenses when the conditions for such availability set forth in the Eclipse
10
+ * Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
+ * with the GNU Classpath Exception which is available at
12
+ * https://www.gnu.org/software/classpath/license.html.
13
+ *
14
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
+ ********************************************************************************/
16
+
17
+ .theia-settings-container .settings-context-menu-container {
18
+ position: relative;
19
+ padding-left: var(--theia-ui-padding);
20
+ }
21
+
22
+ .theia-settings-container .settings-context-menu-btn {
23
+ cursor: pointer;
24
+ }
25
+
26
+ .theia-settings-container .settings-context-menu {
27
+ position: absolute;
28
+ width: var(--theia-settingsSidebar-width);
29
+ list-style: none;
30
+ padding: var(--theia-ui-padding);
31
+ bottom: calc(100% + 10px);
32
+ left: -10px;
33
+ z-index: 9999;
34
+ background-color: var(--theia-menu-background);
35
+ }
36
+
37
+ .theia-settings-container .settings-context-menu:before {
38
+ content: "";
39
+ position: absolute;
40
+ left: 10px;
41
+ bottom: -10px;
42
+ width: 0;
43
+ height: 0;
44
+ border-left: 10px solid transparent;
45
+ border-right: 10px solid transparent;
46
+ border-top: 10px solid var(--theia-menu-background);
47
+ }
48
+
49
+ .theia-settings-container .settings-context-menu li {
50
+ padding: var(--theia-ui-padding);
51
+ }
52
+
53
+ .theia-settings-container .settings-context-menu li:hover {
54
+ background-color: var(--theia-menu-selectionBackground);
55
+ }
56
+
57
+ .theia-settings-container .settings-context-menu i {
58
+ padding-right: var(--theia-ui-padding);
59
+ width: var(--theia-icon-size);
60
+ display: -webkit-inline-box;
61
+ display: -ms-inline-flexbox;
62
+ display: inline-flex;
63
+ -webkit-box-pack: center;
64
+ -ms-flex-pack: center;
65
+ justify-content: center;
66
+ }
67
+
68
+ .theia-settings-container .pref-context-menu-btn {
69
+ margin-left: 5px;
70
+ }
71
+
72
+ .theia-settings-container .pref-context-menu-btn:hover {
73
+ background-color: rgba(50%, 50%, 50%, 0.1);
74
+ }
@@ -1,31 +1,31 @@
1
- /********************************************************************************
2
- * Copyright (C) 2022 EclipseSource and others.
3
- *
4
- * This program and the accompanying materials are made available under the
5
- * terms of the Eclipse Public License v. 2.0 which is available at
6
- * http://www.eclipse.org/legal/epl-2.0.
7
- *
8
- * This Source Code may also be made available under the following Secondary
9
- * Licenses when the conditions for such availability set forth in the Eclipse
10
- * Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
- * with the GNU Classpath Exception which is available at
12
- * https://www.gnu.org/software/classpath/license.html.
13
- *
14
- * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
- ********************************************************************************/
16
-
17
- .theia-settings-container .preference-file-container {
18
- position: relative;
19
- display: flex;
20
- align-items: center;
21
- }
22
-
23
- .theia-settings-container .preference-file-input {
24
- flex: 1;
25
- padding-right: 4px;
26
- }
27
-
28
- .theia-settings-container .preference-file-button {
29
- margin-left: 0px;
30
- height: calc(var(--theia-content-line-height) + 4px);
31
- }
1
+ /********************************************************************************
2
+ * Copyright (C) 2022 EclipseSource and others.
3
+ *
4
+ * This program and the accompanying materials are made available under the
5
+ * terms of the Eclipse Public License v. 2.0 which is available at
6
+ * http://www.eclipse.org/legal/epl-2.0.
7
+ *
8
+ * This Source Code may also be made available under the following Secondary
9
+ * Licenses when the conditions for such availability set forth in the Eclipse
10
+ * Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
+ * with the GNU Classpath Exception which is available at
12
+ * https://www.gnu.org/software/classpath/license.html.
13
+ *
14
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
+ ********************************************************************************/
16
+
17
+ .theia-settings-container .preference-file-container {
18
+ position: relative;
19
+ display: flex;
20
+ align-items: center;
21
+ }
22
+
23
+ .theia-settings-container .preference-file-input {
24
+ flex: 1;
25
+ padding-right: 4px;
26
+ }
27
+
28
+ .theia-settings-container .preference-file-button {
29
+ margin-left: 0px;
30
+ height: calc(var(--theia-content-line-height) + 4px);
31
+ }
@@ -1,49 +1,49 @@
1
- /********************************************************************************
2
- * Copyright (C) 2020 Ericsson and others.
3
- *
4
- * This program and the accompanying materials are made available under the
5
- * terms of the Eclipse Public License v. 2.0 which is available at
6
- * http://www.eclipse.org/legal/epl-2.0.
7
- *
8
- * This Source Code may also be made available under the following Secondary
9
- * Licenses when the conditions for such availability set forth in the Eclipse
10
- * Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
- * with the GNU Classpath Exception which is available at
12
- * https://www.gnu.org/software/classpath/license.html.
13
- *
14
- * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
- ********************************************************************************/
16
-
17
- .theia-settings-container .object-preference-input-container {
18
- display: -webkit-box;
19
- display: -ms-flexbox;
20
- display: flex;
21
- -webkit-box-pack: justify;
22
- -ms-flex-pack: justify;
23
- justify-content: space-between;
24
- -ms-flex-wrap: wrap;
25
- flex-wrap: wrap;
26
- }
27
-
28
- .theia-settings-container .object-preference-input {
29
- width: 100%;
30
- max-height: 250px;
31
- resize: none;
32
- color: var(--theia-settings-textInputForeground);
33
- background-color: var(--theia-settings-textInputBackground);
34
- border-color: var(--theia-panel-border);
35
- font-size: var(--theia-code-font-size);
36
- margin-bottom: 10px;
37
- }
38
-
39
- .theia-settings-container .object-preference-input-btn-toggle {
40
- padding: 0 calc(var(--theia-ui-padding) / 2);
41
- }
42
-
43
- .theia-settings-container .object-preference-input-btn-toggle-icon {
44
- display: inline-block;
45
- background: var(--theia-icon-open-json) no-repeat;
46
- background-position-y: 1px;
47
- height: var(--theia-icon-size);
48
- width: var(--theia-icon-size);
49
- }
1
+ /********************************************************************************
2
+ * Copyright (C) 2020 Ericsson and others.
3
+ *
4
+ * This program and the accompanying materials are made available under the
5
+ * terms of the Eclipse Public License v. 2.0 which is available at
6
+ * http://www.eclipse.org/legal/epl-2.0.
7
+ *
8
+ * This Source Code may also be made available under the following Secondary
9
+ * Licenses when the conditions for such availability set forth in the Eclipse
10
+ * Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
+ * with the GNU Classpath Exception which is available at
12
+ * https://www.gnu.org/software/classpath/license.html.
13
+ *
14
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
+ ********************************************************************************/
16
+
17
+ .theia-settings-container .object-preference-input-container {
18
+ display: -webkit-box;
19
+ display: -ms-flexbox;
20
+ display: flex;
21
+ -webkit-box-pack: justify;
22
+ -ms-flex-pack: justify;
23
+ justify-content: space-between;
24
+ -ms-flex-wrap: wrap;
25
+ flex-wrap: wrap;
26
+ }
27
+
28
+ .theia-settings-container .object-preference-input {
29
+ width: 100%;
30
+ max-height: 250px;
31
+ resize: none;
32
+ color: var(--theia-settings-textInputForeground);
33
+ background-color: var(--theia-settings-textInputBackground);
34
+ border-color: var(--theia-panel-border);
35
+ font-size: var(--theia-code-font-size);
36
+ margin-bottom: 10px;
37
+ }
38
+
39
+ .theia-settings-container .object-preference-input-btn-toggle {
40
+ padding: 0 calc(var(--theia-ui-padding) / 2);
41
+ }
42
+
43
+ .theia-settings-container .object-preference-input-btn-toggle-icon {
44
+ display: inline-block;
45
+ background: var(--theia-icon-open-json) no-repeat;
46
+ background-position-y: 1px;
47
+ height: var(--theia-icon-size);
48
+ width: var(--theia-icon-size);
49
+ }
@@ -1,66 +1,66 @@
1
- /********************************************************************************
2
- * Copyright (C) 2020 Ericsson and others.
3
- *
4
- * This program and the accompanying materials are made available under the
5
- * terms of the Eclipse Public License v. 2.0 which is available at
6
- * http://www.eclipse.org/legal/epl-2.0.
7
- *
8
- * This Source Code may also be made available under the following Secondary
9
- * Licenses when the conditions for such availability set forth in the Eclipse
10
- * Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
- * with the GNU Classpath Exception which is available at
12
- * https://www.gnu.org/software/classpath/license.html.
13
- *
14
- * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
- ********************************************************************************/
16
-
17
- .theia-settings-container .settings-search-container {
18
- display: flex;
19
- align-items: center;
20
- }
21
-
22
- .theia-settings-container .settings-search-container .settings-search-input {
23
- flex: 1;
24
- text-indent: 8px;
25
- padding: calc(var(--theia-ui-padding) / 2) 0;
26
- box-sizing: border-box;
27
- border: 1px solid var(--theia-dropdown-border);
28
- }
29
-
30
- .theia-settings-container .settings-search-container .option-buttons {
31
- height: 23px;
32
- align-items: center;
33
- position: absolute;
34
- z-index: 999;
35
- right: 5px;
36
- display: flex;
37
- }
38
-
39
- .theia-settings-container .settings-search-container .clear-all {
40
- background: var(--theia-icon-clear);
41
- }
42
-
43
- .theia-settings-container .settings-search-container .results-found {
44
- background-color: var(--theia-badge-background);
45
- border-radius: 2px;
46
- color: var(--theia-badge-foreground);
47
- padding: calc(var(--theia-ui-padding) / 5) calc(var(--theia-ui-padding) / 2);
48
- }
49
-
50
- .theia-settings-container .settings-search-container .option {
51
- width: 21px;
52
- height: 21px;
53
- margin: 0 1px;
54
- display: inline-block;
55
- box-sizing: border-box;
56
- user-select: none;
57
- background-repeat: no-repeat;
58
- background-position: center;
59
- border: var(--theia-border-width) solid transparent;
60
- opacity: 0.7;
61
- cursor: pointer;
62
- }
63
-
64
- .theia-settings-container .settings-search-container .enabled {
65
- opacity: 1;
66
- }
1
+ /********************************************************************************
2
+ * Copyright (C) 2020 Ericsson and others.
3
+ *
4
+ * This program and the accompanying materials are made available under the
5
+ * terms of the Eclipse Public License v. 2.0 which is available at
6
+ * http://www.eclipse.org/legal/epl-2.0.
7
+ *
8
+ * This Source Code may also be made available under the following Secondary
9
+ * Licenses when the conditions for such availability set forth in the Eclipse
10
+ * Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
+ * with the GNU Classpath Exception which is available at
12
+ * https://www.gnu.org/software/classpath/license.html.
13
+ *
14
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
+ ********************************************************************************/
16
+
17
+ .theia-settings-container .settings-search-container {
18
+ display: flex;
19
+ align-items: center;
20
+ }
21
+
22
+ .theia-settings-container .settings-search-container .settings-search-input {
23
+ flex: 1;
24
+ text-indent: 8px;
25
+ padding: calc(var(--theia-ui-padding) / 2) 0;
26
+ box-sizing: border-box;
27
+ border: 1px solid var(--theia-dropdown-border);
28
+ }
29
+
30
+ .theia-settings-container .settings-search-container .option-buttons {
31
+ height: 23px;
32
+ align-items: center;
33
+ position: absolute;
34
+ z-index: 999;
35
+ right: 5px;
36
+ display: flex;
37
+ }
38
+
39
+ .theia-settings-container .settings-search-container .clear-all {
40
+ background: var(--theia-icon-clear);
41
+ }
42
+
43
+ .theia-settings-container .settings-search-container .results-found {
44
+ background-color: var(--theia-badge-background);
45
+ border-radius: 2px;
46
+ color: var(--theia-badge-foreground);
47
+ padding: calc(var(--theia-ui-padding) / 5) calc(var(--theia-ui-padding) / 2);
48
+ }
49
+
50
+ .theia-settings-container .settings-search-container .option {
51
+ width: 21px;
52
+ height: 21px;
53
+ margin: 0 1px;
54
+ display: inline-block;
55
+ box-sizing: border-box;
56
+ user-select: none;
57
+ background-repeat: no-repeat;
58
+ background-position: center;
59
+ border: var(--theia-border-width) solid transparent;
60
+ opacity: 0.7;
61
+ cursor: pointer;
62
+ }
63
+
64
+ .theia-settings-container .settings-search-container .enabled {
65
+ opacity: 1;
66
+ }