I see. I just updated the DemoRootPane in RSTALanguageSupport to handle this better. Try this:
java code:
final JSplitPane sp = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT,
treeSP, scrollPane);
SwingUtilities.invokeLater(new Runnable() {
public void run() {
sp.setDividerLocation(0.25);
}
});
You unfortunately have to wrap it in a SwingUtilities.invokeLater() since the parent container must be realized for the JSplitPane to be able to figure out the relative sizes of its children. Alternatively, you can pass an int instead of a float to give an absolute size in pixels rather than a relative size.