public static class TextDiffViewerUtil.EditorFontSizeSynchronizer
extends java.lang.Object
implements java.beans.PropertyChangeListener
Constructor and Description |
---|
EditorFontSizeSynchronizer(java.util.List<? extends EditorEx> editors) |
Modifier and Type | Method and Description |
---|---|
void |
install(Disposable disposable) |
void |
propertyChange(java.beans.PropertyChangeEvent evt) |
void |
updateEditor(EditorEx editor,
int fontSize) |
public EditorFontSizeSynchronizer(java.util.List<? extends EditorEx> editors)
public void install(Disposable disposable)
public void propertyChange(java.beans.PropertyChangeEvent evt)
propertyChange
in interface java.beans.PropertyChangeListener
public void updateEditor(EditorEx editor, int fontSize)