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

IDEA-202576 Tab pin indicator is hardly visible in many cases

Browse Source 
GitOrigin-RevId: b3319766c73f3ab65456b67357db0596a4b57037
This commit is contained in:
Vassiliy.Kudryashov
2020-10-13 19:59:10 +00:00
committed by intellij-monorepo-bot
parent ba6d6ee793
commit cd976665f2
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/util/resources/misc/registry.properties
+1 -1
View File
@@ -116,7 +116,7 @@ ide.editor.tabs.use.tabslayout.description=Use new implementation of editor tabs
ide.editor.max.pinned.tab.width=100
ide.editor.max.pinned.tab.width.description=Max width for pinned editor tab
ide.editor.tabs.interactive.pin.button=true
ide.editor.tabs.interactive.pin.button.description=Close pinned tab when 'pin' button is clicked
ide.editor.tabs.interactive.pin.button.description=Unpin pinned editor tab when 'pin' button is clicked
ide.editor.alternative.folding.icons.painting=false
ide.editor.alternative.folding.icons.painting.description=Fix painting issues for directed boxes