Skip to content

Commit d81e867

Browse files
committed
Sort, format, changed highlighting to background instead foreground
1 parent 94d5cfd commit d81e867

File tree

2 files changed

+12
-13
lines changed

2 files changed

+12
-13
lines changed

src/de/zabuza/treeflood/demo/gui/view/MainFrame.java

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -215,6 +215,17 @@ public void setSeed(final long seed) {
215215
this.mOptionPanel.setSeed(seed);
216216
}
217217

218+
/**
219+
* Sets the stage type on the GUI.
220+
*
221+
* @param stageType
222+
* The stage type.
223+
*/
224+
public void setStageType(final EStage stageType) {
225+
this.mOptionPanel.setStageType(stageType);
226+
227+
}
228+
218229
/**
219230
* Sets the step type shown on the GUI.
220231
*
@@ -244,15 +255,4 @@ public void setStyle(final EStyle styleToSet) {
244255
public void setTree(final CoordinateTree tree) {
245256
this.mTreePanel.setTree(tree);
246257
}
247-
248-
/**
249-
* Sets the stage type on the GUI.
250-
*
251-
* @param stageType
252-
* The stage type.
253-
*/
254-
public void setStageType(final EStage stageType) {
255-
this.mOptionPanel.setStageType(stageType);
256-
257-
}
258258
}

src/de/zabuza/treeflood/demo/gui/view/OptionHighlightTextPane.java

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -105,8 +105,7 @@ public void reColor() {
105105
this.setBackground(this.mManager.getTextPaneColor());
106106

107107
if (this.mHighlighted) {
108-
this.setForeground(this.mManager.getHighlightingColor());
109-
return;
108+
this.setBackground(this.mManager.getHighlightingColor());
110109

111110
}
112111
this.setForeground(this.mManager.getDefaultFontColor());

0 commit comments

Comments
 (0)