private void setupFonts(
Composite parent, final TreeTableComposite tree, final MergeTotalComposite total) {
final IPropertyChangeListener preferenceListener =
new IPropertyChangeListener() {
@Override
public void propertyChange(PropertyChangeEvent event) {
if (event.getProperty().equals(MergeEditorPreferencePage.P_MERGE_EDITOR_FONT_SIZE)) {
Font font = getMergeTreeFont();
tree.getTree().setFont(font);
total.getTable().setFont(font);
editorComposite.layout(true);
IBaseLabelProvider labelProvider = treeViewer.getLabelProvider();
if (labelProvider instanceof MergeTreeLabelProvider) {
((MergeTreeLabelProvider) labelProvider).updateFonts();
}
treeViewer.refresh(true);
}
}
};
parent.addDisposeListener(
new DisposeListener() {
@Override
public void widgetDisposed(DisposeEvent e) {
MergePlugin.getDefault()
.getPreferenceStore()
.removePropertyChangeListener(preferenceListener);
}
});
MergePlugin.getDefault().getPreferenceStore().addPropertyChangeListener(preferenceListener);
Font font = getMergeTreeFont();
tree.getTree().setFont(font);
total.getTable().setFont(font);
total.layout(true);
}
