mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-15 20:26:04 +07:00
fixed RIDER-62272
GitOrigin-RevId: 6fe7242635a101e0b6864b0322aadb5cd6e1ed8f
This commit is contained in:
committed by
intellij-monorepo-bot
parent
33fc7a6118
commit
f683f0ac9b
@@ -77,6 +77,13 @@ public class JBSplitter extends Splitter {
|
||||
myDefaultProportion = proportion;
|
||||
}
|
||||
|
||||
public JBSplitter(boolean vertical, @NotNull @NonNls String proportionKey, float minProp, float maxProp) {
|
||||
super(vertical, PropertiesComponent.getInstance().getFloat(proportionKey, 0.5f), minProp, maxProp);
|
||||
|
||||
mySplitterProportionKey = proportionKey;
|
||||
myDefaultProportion = 0.5f;
|
||||
}
|
||||
|
||||
/**
|
||||
* Splitter proportion unique key.
|
||||
*
|
||||
|
||||
@@ -65,6 +65,11 @@ public class OnePixelSplitter extends JBSplitter {
|
||||
init();
|
||||
}
|
||||
|
||||
public OnePixelSplitter(boolean vertical, @NotNull @NonNls String proportionKey, float minProp, float maxProp) {
|
||||
super(vertical, proportionKey, minProp, maxProp);
|
||||
init();
|
||||
}
|
||||
|
||||
protected void init() {
|
||||
setDividerWidth(1);
|
||||
setFocusable(false);
|
||||
|
||||
@@ -31,9 +31,8 @@ class XWatchesViewImpl2(
|
||||
{
|
||||
// it's hacky, we change default watches component to splitter, this way allows not to change base components
|
||||
DataManager.removeDataProvider(myComponent)
|
||||
val splitter = OnePixelSplitter(true, PropertiesComponent.getInstance().getFloat(proportionKey, 0.5f), 0.01f, 0.99f)
|
||||
val splitter = OnePixelSplitter(true, proportionKey, 0.01f, 0.99f)
|
||||
.apply {
|
||||
splitterProportionKey = proportionKey
|
||||
dividerWidth = 1
|
||||
divider.background = UIUtil.CONTRAST_BORDER_COLOR
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user