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

registry option to switch scrollbars to full width

Browse Source
This commit is contained in:
Egor.Ushakov
2014-11-28 17:45:26 +03:00
parent e65a4ceabb
commit 6fe6353215
2 changed files with 11 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorMarkupModelImpl.java
+8 -2
View File
@@ -592,8 +592,14 @@ public class EditorMarkupModelImpl extends MarkupModelImpl implements EditorMark
}
}
else {
int half = getThickness() / 2;
int shift = isMirrored() ? -half + 2 : half - 1;
int shift;
if (Registry.is("editor.full.width.scrollbar")) {
shift = isMirrored() ? -myMinMarkHeight + 1 : myMinMarkHeight;
}
else {
int half = getThickness() / 2;
shift = isMirrored() ? -half + 2 : half - 1;
}
g.translate(shift, 0);
super.paintThumb(g, c, thumbBounds);
g.translate(-shift, 0);
platform/util/resources/misc/registry.properties
+3
View File
@@ -490,6 +490,9 @@ editor.caret.width.restartRequired=true
editor.transparent.scrollbar=true
editor.transparent.scrollbar.description=Don't paint background for editor scroll bars
editor.full.width.scrollbar=false
editor.full.size.scrollbar.description=Increase width of the vertical scrollbar to fit marks width
editor.xcode.like.scrollbar=false
editor.xcode.like.scrollbar.description=Enables auto-hideable Xcode-like editor stripes