Package com.intellij.diff.tools.util.base

Class TextDiffViewerUtil.EditorFontSizeSynchronizer

java.lang.Object

com.intellij.diff.tools.util.base.TextDiffViewerUtil.EditorFontSizeSynchronizer

All Implemented Interfaces:

java.beans.PropertyChangeListener, java.util.EventListener

Enclosing class:

TextDiffViewerUtil

public static class TextDiffViewerUtil.EditorFontSizeSynchronizer
extends java.lang.Object
implements java.beans.PropertyChangeListener

Constructor Summary

Constructors

Constructor and Description
EditorFontSizeSynchronizer(java.util.List<? extends EditorEx> editors)

Method Summary

Modifier and Type	Method and Description
void	install(Disposable disposable)
void	propertyChange(java.beans.PropertyChangeEvent evt)
void	updateEditor(EditorEx editor, int fontSize)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EditorFontSizeSynchronizer

public EditorFontSizeSynchronizer(java.util.List<? extends EditorEx> editors)

Method Detail

install

public void install(Disposable disposable)

propertyChange

public void propertyChange(java.beans.PropertyChangeEvent evt)

Specified by:

propertyChange in interface java.beans.PropertyChangeListener

updateEditor

public void updateEditor(EditorEx editor,
                         int fontSize)