Open andriusvelykis opened 11 years ago
Reacting to syntax color preference change implemented in 5508316cd208e9cb03cc181c7a8f8f8fd3afb296
Still need to review other preferences handled in TextEditor#handlePreferenceStoreChanged()
and its parents.
Reacting to viewer background/foreground/selection colour preference change implemented in 59c838aa7f30892ff3df6184a6b7504e3d324665
See also issue #37 for details on this.
IsabelleTheorySourceViewer
does not react when preferences change about text attributes for the viewer. This has not been adapted fromTextEditor
yet.See
TextEditor#handlePreferenceStoreChanged()
and adapt it forisabelle.eclipse.ui.editors.IsabelleTheorySourceViewer
.