/** * This method is called by the system to * set up the <code>Workspace</code> (with references * to the <code>EditorKit</code> etc.) * @param editorKit The <code>EditorKit</code> that this * <code>Workspace</code> belongs to. */ public void setup(EditorKit editorKit) { this.editorKit = editorKit; this.viewManager = new WorkspaceViewManager(); // Create the layout. setLayout(new BorderLayout()); leftResultsSplitPane = new ViewSplitPane(JSplitPane.HORIZONTAL_SPLIT); leftResultsSplitPane.setResizeWeight(0.2); add(leftResultsSplitPane); bottomResultsSplitPane = new ViewSplitPane(JSplitPane.VERTICAL_SPLIT); bottomResultsSplitPane.setResizeWeight(0.65); leftResultsSplitPane.add(bottomResultsSplitPane, JSplitPane.RIGHT); bottomResultsViewHolder = new ViewHolder("Results", JSplitPane.BOTTOM, bottomResultsSplitPane); adjustBorder(bottomResultsViewHolder); leftResultsViewHolder = new ViewHolder("R", JSplitPane.LEFT, leftResultsSplitPane); adjustBorder(leftResultsViewHolder); }
/** * This method is called by the system to * set up the <code>Workspace</code> (with references * to the <code>EditorKit</code> etc.) * @param editorKit The <code>EditorKit</code> that this * <code>Workspace</code> belongs to. */ public void setup(EditorKit editorKit) { this.editorKit = editorKit; this.viewManager = new WorkspaceViewManager(); // Create the layout. setLayout(new BorderLayout()); leftResultsSplitPane = new ViewSplitPane(JSplitPane.HORIZONTAL_SPLIT); leftResultsSplitPane.setResizeWeight(0.2); add(leftResultsSplitPane); bottomResultsSplitPane = new ViewSplitPane(JSplitPane.VERTICAL_SPLIT); bottomResultsSplitPane.setResizeWeight(0.65); leftResultsSplitPane.add(bottomResultsSplitPane, JSplitPane.RIGHT); bottomResultsViewHolder = new ViewHolder("Results", JSplitPane.BOTTOM, bottomResultsSplitPane); adjustBorder(bottomResultsViewHolder); leftResultsViewHolder = new ViewHolder("R", JSplitPane.LEFT, leftResultsSplitPane); adjustBorder(leftResultsViewHolder); }