Browse Source

Added SplitPane.dividerSize property.

pull/97/head
weisj 5 years ago
parent
commit
05eee4e01c
  1. 5
      core/src/main/resources/com/github/weisj/darklaf/properties/ui/splitPane.properties
  2. 10
      property-loader/src/main/java/com/github/weisj/darklaf/PropertyLoader.java

5
core/src/main/resources/com/github/weisj/darklaf/properties/ui/splitPane.properties

@ -30,11 +30,12 @@ SplitPane.dividerLineColor = %borderSecondary
SplitPane.dividerFocusColor = null SplitPane.dividerFocusColor = null
SplitPane.centerOneTouchButtons = true SplitPane.centerOneTouchButtons = true
SplitPane.defaultDividerStyle = grip SplitPane.defaultDividerStyle = grip
SplitPane.dividerSize = 10
#Icons #Icons
SplitPane.horizontalGlue.icon = navigation/horizontalGlue.svg[themed](4,13) SplitPane.horizontalGlue.icon = navigation/horizontalGlue.svg[themed](4,13)
SplitPane.verticalGlue.icon = navigation/verticalGlue.svg[themed](13,4) SplitPane.verticalGlue.icon = navigation/verticalGlue.svg[themed](13,4)
SplitPaneDivider.leftOneTouch.icon = navigation/arrowLeft.svg[themed] SplitPaneDivider.leftOneTouch.icon = navigation/arrowLeft.svg[themed](13,13)
SplitPaneDivider.rightOneTouch.icon = navigation/arrowRight.svg[themed] SplitPaneDivider.rightOneTouch.icon = navigation/arrowRight.svg[themed](13,13)
SplitPaneDivider.topOneTouch.icon = navigation/arrowUp.svg[themed](13,13) SplitPaneDivider.topOneTouch.icon = navigation/arrowUp.svg[themed](13,13)
SplitPaneDivider.bottomOneTouch.icon = navigation/arrowDown.svg[themed](13,13) SplitPaneDivider.bottomOneTouch.icon = navigation/arrowDown.svg[themed](13,13)

10
property-loader/src/main/java/com/github/weisj/darklaf/PropertyLoader.java

@ -301,9 +301,13 @@ public final class PropertyLoader {
} }
private static DimensionUIResource parseSize(final String value) { private static Object parseSize(final String value) {
int[] dim = Arrays.stream(value.split(",", 2)).mapToInt(Integer::parseInt).toArray(); try {
return new DimensionUIResource(dim[0], dim[1]); int[] dim = Arrays.stream(value.split(",", 2)).mapToInt(Integer::parseInt).toArray();
return new DimensionUIResource(dim[0], dim[1]);
} catch (IndexOutOfBoundsException | NumberFormatException e) {
return new LoadError();
}
} }

Loading…
Cancel
Save