Skip to content

Commit

Permalink
Fix for Eclipse 4.7
Browse files Browse the repository at this point in the history
  • Loading branch information
eric-milles committed Sep 22, 2018
1 parent cee5dde commit 51fbdfb
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -118,7 +118,7 @@ public StyleRange[] getStyleRanges(int offset, int length) {
} else if (type.equals(TraceCategory.DSL.label)) {
color = Display.getDefault().getSystemColor(SWT.COLOR_MAGENTA);
} else {
color = registry.get(JFacePreferences.INFORMATION_FOREGROUND_COLOR);
color = registry.get(/*JFacePreferences.INFORMATION_FOREGROUND_COLOR*/"org.eclipse.ui.workbench.INFORMATION_FOREGROUND");
}
return new StyleRange(offset, length, color, null);
}).toArray(StyleRange[]::new);
Expand Down

0 comments on commit 51fbdfb

Please sign in to comment.