| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -286,11 +286,17 @@ public void caretUpdate(CaretEvent e) { | |||
| 286 | 286 | ||
| 287 | 287 | footer = createFooter(); | |
| 288 | 288 | ||
| 289 | - upper.add(textarea); | ||
| 289 | + // build the central panel with the text area & error marker column | ||
| 290 | + JPanel editorPanel = new JPanel(new BorderLayout()); | ||
| 291 | + errorColumn = new MarkerColumn(this, textarea.getMinimumSize().height); | ||
| 292 | + editorPanel.add(errorColumn, BorderLayout.EAST); | ||
| 293 | + textarea.setBounds(0, 0, errorColumn.getX() - 1, textarea.getHeight()); | ||
| 294 | + editorPanel.add(textarea); | ||
| 295 | + upper.add(editorPanel); | ||
| 290 | 296 | ||
| 291 | 297 | splitPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, upper, footer); | |
| 292 | 298 | ||
| 293 | - // disable this because it hides the message area, which is essential (issue #745) | ||
| 299 | + // disable this because it hides the message area (Google Code issue #745) | ||
| 294 | 300 | splitPane.setOneTouchExpandable(false); | |
| 295 | 301 | // repaint child panes while resizing | |
| 296 | 302 | splitPane.setContinuousLayout(true); | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -90,6 +90,7 @@ protected JavaEditor(Base base, String path, EditorState state, | |||
| 90 | 90 | ||
| 91 | 91 | hasJavaTabs = checkForJavaTabs(); | |
| 92 | 92 | ||
| 93 | + /* | ||
| 93 | 94 | // hack to add a JPanel to the right-hand side of the text area | |
| 94 | 95 | JPanel textAndError = new JPanel(); | |
| 95 | 96 | // parent is a vertical box with the toolbar, the header, and the text area | |
@@ -103,6 +104,7 @@ protected JavaEditor(Base base, String path, EditorState state, | |||
| 103 | 104 | textAndError.add(textarea); | |
| 104 | 105 | // add our hacked version back to the editor | |
| 105 | 106 | box.add(textAndError); | |
| 107 | + */ | ||
| 106 | 108 | ||
| 107 | 109 | getPdeTextArea().setMode(jmode); | |
| 108 | 110 | ||
| Back | FazBrowse Home | New Git URL |
0 commit comments