フォントのPreference設定との連動

Javaエディターと連動させたかったのでこんな感じ。


リスナー作って

class FontChangeListener implements IPropertyChangeListener {
    @SuppressWarnings("synthetic-access")
    public void propertyChange(PropertyChangeEvent event) {
        assert sourceViewer != null;
        
        String property= event.getProperty();
        if (PreferenceConstants.EDITOR_TEXT_FONT.equals(property)) {
            Font font = JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT);
            sourceViewer.getTextWidget().setFont(font);
        }
    }
}

追加。

JFaceResources.getFontRegistry().addListener(new FontChangeListener());