private void initListeners() {
PlatformUI.getWorkbench().getThemeManager()
.addPropertyChangeListener(this.themeListener);
EditorsUI.getPreferenceStore().addPropertyChangeListener(
this.editorPrefListener);
getTextWidget().addLineBackgroundListener(new LineBackgroundListener() {
public void lineGetBackground(LineBackgroundEvent event) {
StyledText text = getTextWidget();
if (event.lineOffset < text.getCharCount()) {
StyleRange style = text