дзеркало
https://github.com/l0ng-ai/openidea.git
синхронізовано 2026-11-09 19:25:54 +02:00
feat(settings): add an option for smaller indents in trees (#1795)
Signed-off-by: Inf1mum <[email protected]>
Цей коміт міститься в:
1 джерело
d4db7bb290
коміт
ebac061a1f
9 files changed
+79
-4
No files matched your search
@@ -1760,6 +1760,8 @@ export type AppearanceSettings = {
|
||||
redGreenVision?: boolean,
|
||||
differentToolWindowBackground?: boolean,
|
||||
compactMode?: boolean,
|
||||
/** IDEA "Use smaller indents in trees": tool window trees indent less per level. */
|
||||
smallTreeIndents?: boolean,
|
||||
fullPathInTitle?: boolean,
|
||||
projectColorsInToolbar?: boolean,
|
||||
dndWithAltOnly?: boolean,
|
||||
|
||||
Reference in new issue
Заблокувати користувача