MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-18 09:34:34 +07:00
Code Issues Packages Projects Releases Wiki Activity

[UI] IJPL-189623 Islands: set keys for stripe button text offsets

Browse Source 
The value for the left stripe is chosen by designers.
For the right stripe it's done symmetrically.
One can easily see the effect on the right stripe
by looking at the DB tool window label.

GitOrigin-RevId: 5d5a4c07c78411f813bf91d0fb64a053dde1fa7c
This commit is contained in:
Sergei Tachenov
2025-10-30 08:50:52 +00:00
committed by intellij-monorepo-bot
parent 0dfdc2bdd6
commit 14723ae020
2 changed files with 10 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources/src/themes/islands/ManyIslandsDark.theme.json
+5 -1
View File
@@ -147,7 +147,11 @@
"leftStripeIconWithName.padding": "4,6,4,2",
"rightStripeIconWithName.padding": "4,2,4,6",
"leftStripeIconWithName.padding.compact": "3,4,3,2",
"rightStripeIconWithName.padding.compact": "3,2,3,4"
"rightStripeIconWithName.padding.compact": "3,2,3,4",
"leftStripeTextOffset": 2,
"leftStripeTextOffset.compact": 0,
"rightStripeTextOffset": -2,
"rightStripeTextOffset.compact": 0
},
"EditorTabs": {
platform/platform-resources/src/themes/islands/ManyIslandsLight.theme.json
+5 -1
View File
@@ -100,7 +100,11 @@
"leftStripeIconWithName.padding": "4,6,4,2",
"rightStripeIconWithName.padding": "4,2,4,6",
"leftStripeIconWithName.padding.compact": "3,4,3,2",
"rightStripeIconWithName.padding.compact": "3,2,3,4"
"rightStripeIconWithName.padding.compact": "3,2,3,4",
"leftStripeTextOffset": 2,
"leftStripeTextOffset.compact": 0,
"rightStripeTextOffset": -2,
"rightStripeTextOffset.compact": 0
},
"EditorTabs": {