jEdit could use JSplitPane continuous layout