@opensumi/ide-preferences 2.20.1 → 2.20.2

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 (2) hide show
  1. package/lib/browser/preferences.module.less +1 -0
  2. package/package.json +8 -8
package/lib/browser/preferences.module.less CHANGED
@@ -278,6 +278,7 @@
278
278
  .tabs {
279
279
  padding: 0 !important;
280
280
  font-size: @base-font-size;
281
+ user-select: none;
281
282
  :global {
282
283
  .kt-tab {
283
284
  padding-left: 10px;
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@opensumi/ide-preferences",
3
- "version": "2.20.1",
3
+ "version": "2.20.2",
4
4
  "files": [
5
5
  "lib"
6
6
  ],
@@ -16,15 +16,15 @@
16
16
  "url": "git@github.com:opensumi/core.git"
17
17
  },
18
18
  "dependencies": {
19
- "@opensumi/ide-core-common": "2.20.1"
19
+ "@opensumi/ide-core-common": "2.20.2"
20
20
  },
21
21
  "devDependencies": {
22
- "@opensumi/ide-components": "2.20.1",
23
- "@opensumi/ide-core-browser": "2.20.1",
22
+ "@opensumi/ide-components": "2.20.2",
23
+ "@opensumi/ide-core-browser": "2.20.2",
24
24
  "@opensumi/ide-dev-tool": "^1.3.1",
25
- "@opensumi/ide-editor": "2.20.1",
26
- "@opensumi/ide-file-service": "2.20.1",
27
- "@opensumi/ide-workspace": "2.20.1"
25
+ "@opensumi/ide-editor": "2.20.2",
26
+ "@opensumi/ide-file-service": "2.20.2",
27
+ "@opensumi/ide-workspace": "2.20.2"
28
28
  },
29
- "gitHead": "04b2bbf2f279ccf1eba1a1f5c18238fe871db490"
29
+ "gitHead": "26d255a05c956754ee68dbacde738a5a82e2891b"
30
30
  }