| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -209,8 +209,6 @@ public void setupGUI() { | |||
| 209 | 209 | // other things that have to be set explicitly for the defaults | |
| 210 | 210 | theme.setColor("run.window.bgcolor", SystemColor.control); | |
| 211 | 211 | ||
| 212 | - // loadBackground(); | ||
| 213 | - | ||
| 214 | 212 | } catch (IOException e) { | |
| 215 | 213 | Messages.showError("Problem loading theme.txt", | |
| 216 | 214 | "Could not load theme.txt, please re-install Processing", e); | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -81,7 +81,10 @@ public void mousePressed(MouseEvent event) { | |||
| 81 | 81 | ||
| 82 | 82 | ||
| 83 | 83 | /** | |
| 84 | - * Loads theme for TextAreaPainter | ||
| 84 | + * Loads theme for TextAreaPainter. This is handled here because in the olden | ||
| 85 | + * days, Modes had different visual design. Now, these are just pulling the | ||
| 86 | + * defaults from the standard theme, though there may be minor additions or | ||
| 87 | + * overrides added in a Mode's own theme.txt file. | ||
| 85 | 88 | */ | |
| 86 | 89 | public void setMode(Mode mode) { | |
| 87 | 90 | errorUnderlineColor = mode.getColor("editor.error.underline.color"); | |
@@ -101,8 +104,8 @@ public void setMode(Mode mode) { | |||
| 101 | 104 | ||
| 102 | 105 | ||
| 103 | 106 | /** | |
| 104 | - * Paint a line. Paints the gutter (with background color and text) then the | ||
| 105 | - * line (background color and text). | ||
| 107 | + * Paint a line. Paints the gutter (with background color and text) | ||
| 108 | + * then the line (background color and text). | ||
| 106 | 109 | * | |
| 107 | 110 | * @param gfx the graphics context | |
| 108 | 111 | * @param tokenMarker | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -294,6 +294,9 @@ public void caretUpdate(CaretEvent e) { | |||
| 294 | 294 | editorPanel.add(textarea); | |
| 295 | 295 | upper.add(editorPanel); | |
| 296 | 296 | ||
| 297 | + // set colors and fonts for the painter object | ||
| 298 | + getPdeTextArea().setMode(mode); | ||
| 299 | + | ||
| 297 | 300 | splitPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, upper, footer); | |
| 298 | 301 | ||
| 299 | 302 | // disable this because it hides the message area (Google Code issue #745) | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -106,8 +106,6 @@ protected JavaEditor(Base base, String path, EditorState state, | |||
| 106 | 106 | box.add(textAndError); | |
| 107 | 107 | */ | |
| 108 | 108 | ||
| 109 | - getPdeTextArea().setMode(jmode); | ||
| 110 | - | ||
| 111 | 109 | preprocessingService = new PreprocessingService(this); | |
| 112 | 110 | pdex = new PDEX(this, preprocessingService); | |
| 113 | 111 | ||
| Back | FazBrowse Home | New Git URL |
0 commit comments