/*
* JBoss, Home of Professional Open Source.
*
* See the LEGAL.txt file distributed with this work for information regarding copyright ownership and licensing.
*
* See the AUTHORS.txt file distributed with this work for a full listing of individual contributors.
*/
package org.teiid.designer.ui.common.text;
/**
* IFontChangeListener
*
* @since 8.0
*/
public interface IFontChangeListener {
/**
* Called whenever the DiagramFontManager's font size changes.
*
*/
void fontChanged();
}