jEdit use JSplitPane continuous layout