mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Registry: description for "ide.wide.selection.list.ui" property
This commit is contained in:
@@ -121,7 +121,9 @@ ide.scroll.track.border.paint=false
|
||||
ide.scroll.thumb.border.rounded=false
|
||||
ide.scroll.thumb.small.if.opaque=true
|
||||
mac.scroll.horizontal.gap=false
|
||||
|
||||
ide.wide.selection.list.ui=true
|
||||
ide.wide.selection.list.ui.description=Shows a wide selection in all JBList instances. Affects Windows and Linux only.
|
||||
|
||||
ide.tooltip.callout=true
|
||||
ide.tooltip.animationCycle=150
|
||||
|
||||
Reference in New Issue
Block a user