plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalSettingsListener.java

package org.jetbrains.plugins.terminal;

/**
 * @author traff
 */
public interface TerminalSettingsListener {
  void fontChanged();
}