From 6fe6353215deb8dc1c459fc099e7ffa4f3fc378b Mon Sep 17 00:00:00 2001 From: "Egor.Ushakov" Date: Fri, 28 Nov 2014 17:44:22 +0300 Subject: [PATCH] registry option to switch scrollbars to full width --- .../openapi/editor/impl/EditorMarkupModelImpl.java | 10 ++++++++-- platform/util/resources/misc/registry.properties | 3 +++ 2 files changed, 11 insertions(+), 2 deletions(-) diff --git a/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorMarkupModelImpl.java b/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorMarkupModelImpl.java index 3503cb60cb04..5a77cf7a3b9f 100644 --- a/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorMarkupModelImpl.java +++ b/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorMarkupModelImpl.java @@ -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); diff --git a/platform/util/resources/misc/registry.properties b/platform/util/resources/misc/registry.properties index bb4706fc1df6..b7d8f4d5a81c 100644 --- a/platform/util/resources/misc/registry.properties +++ b/platform/util/resources/misc/registry.properties @@ -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