// }
}
- private boolean indicateQuixFixableProblems() {
- return PreferenceConstants.getPreferenceStore().getBoolean(
- PreferenceConstants.EDITOR_CORRECTION_INDICATION);
- }
+// private boolean indicateQuixFixableProblems() {
+// return PreferenceConstants.getPreferenceStore().getBoolean(
+// PreferenceConstants.EDITOR_CORRECTION_INDICATION);
+// }
/*
* @see Annotation#paint