diff options
Diffstat (limited to 'platform/platform-api/src/com/intellij/ui/JBSplitter.java')
-rw-r--r-- | platform/platform-api/src/com/intellij/ui/JBSplitter.java | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/platform/platform-api/src/com/intellij/ui/JBSplitter.java b/platform/platform-api/src/com/intellij/ui/JBSplitter.java index f25c2aee042c..b4000dbcfae2 100644 --- a/platform/platform-api/src/com/intellij/ui/JBSplitter.java +++ b/platform/platform-api/src/com/intellij/ui/JBSplitter.java @@ -1,5 +1,5 @@ /* - * Copyright 2000-2012 JetBrains s.r.o. + * Copyright 2000-2014 JetBrains s.r.o. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -94,6 +94,14 @@ public class JBSplitter extends Splitter { saveProportion(); } + public void setOnePixelMode() { + setDividerWidth(1); + setShowDividerIcon(false); + getDivider().setBackground(new JBColor(Gray._153.withAlpha(128), Gray._100.withAlpha(128))); + setShowDividerControls(false); + setOrientation(getOrientation()); + } + protected void loadProportion() { if (! StringUtil.isEmpty(mySplitterProportionKey)) { setProportion(PropertiesComponent.getInstance().getFloat(mySplitterProportionKey, myProportion)); |