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

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 (54) hide show
  1. package/README.md +81 -81
  2. package/package.json +8 -8
  3. package/src/browser/abstract-resource-preference-provider.spec.ts +95 -95
  4. package/src/browser/abstract-resource-preference-provider.ts +232 -232
  5. package/src/browser/folder-preference-provider.ts +58 -58
  6. package/src/browser/folders-preferences-provider.ts +244 -244
  7. package/src/browser/index.ts +23 -23
  8. package/src/browser/monaco-jsonc-editor.ts +67 -67
  9. package/src/browser/package.spec.ts +28 -28
  10. package/src/browser/preference-bindings.ts +65 -65
  11. package/src/browser/preference-frontend-contribution.ts +38 -38
  12. package/src/browser/preference-frontend-module.ts +66 -66
  13. package/src/browser/preference-open-handler.ts +53 -53
  14. package/src/browser/preference-transaction-manager.ts +287 -287
  15. package/src/browser/preference-tree-model.ts +260 -260
  16. package/src/browser/preferences-contribution.ts +263 -263
  17. package/src/browser/preferences-json-schema-contribution.ts +86 -86
  18. package/src/browser/preferences-monaco-contribution.ts +27 -27
  19. package/src/browser/section-preference-provider.ts +83 -83
  20. package/src/browser/style/index.css +506 -506
  21. package/src/browser/style/preference-array.css +94 -94
  22. package/src/browser/style/preference-context-menu.css +74 -74
  23. package/src/browser/style/preference-file.css +31 -31
  24. package/src/browser/style/preference-object.css +49 -49
  25. package/src/browser/style/search-input.css +66 -66
  26. package/src/browser/user-configs-preference-provider.ts +127 -127
  27. package/src/browser/user-preference-provider.ts +35 -35
  28. package/src/browser/util/preference-layout.ts +381 -381
  29. package/src/browser/util/preference-scope-command-manager.ts +75 -75
  30. package/src/browser/util/preference-tree-generator.ts +260 -260
  31. package/src/browser/util/preference-tree-label-provider.spec.ts +110 -110
  32. package/src/browser/util/preference-tree-label-provider.ts +72 -72
  33. package/src/browser/util/preference-types.ts +177 -177
  34. package/src/browser/views/components/preference-array-input.ts +174 -174
  35. package/src/browser/views/components/preference-boolean-input.ts +69 -69
  36. package/src/browser/views/components/preference-file-input.ts +104 -104
  37. package/src/browser/views/components/preference-json-input.ts +78 -78
  38. package/src/browser/views/components/preference-markdown-renderer.ts +68 -68
  39. package/src/browser/views/components/preference-node-renderer-creator.ts +141 -141
  40. package/src/browser/views/components/preference-node-renderer.ts +477 -477
  41. package/src/browser/views/components/preference-number-input.ts +147 -147
  42. package/src/browser/views/components/preference-select-input.ts +131 -131
  43. package/src/browser/views/components/preference-string-input.ts +76 -76
  44. package/src/browser/views/preference-editor-widget.ts +349 -349
  45. package/src/browser/views/preference-scope-tabbar-widget.tsx +344 -344
  46. package/src/browser/views/preference-searchbar-widget.tsx +183 -183
  47. package/src/browser/views/preference-tree-widget.tsx +102 -102
  48. package/src/browser/views/preference-widget-bindings.ts +102 -102
  49. package/src/browser/views/preference-widget.tsx +118 -118
  50. package/src/browser/workspace-file-preference-provider.ts +100 -100
  51. package/src/browser/workspace-preference-provider.ts +134 -134
  52. package/src/common/cli-preferences.ts +22 -22
  53. package/src/node/preference-backend-module.ts +33 -33
  54. 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
+ }