/*
* 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.diagram.ui.actions;
import org.eclipse.swt.graphics.Font;
/**
* ScaledFont
*
* @since 8.0
*/
public interface ScaledFont {
static final int PLAIN_STYLE = 0;
static final int BOLD_STYLE = 1;
static final int ITALICS_STYLE = 2;
static final int BOLD_ITALICS_STYLE = 3;
static final int SMALLER_PLAIN_STYLE = -1;
static final int TITLE_STYLE = 4;
// boolean canChangeStyle();
void increase();
void decrease();
boolean canIncrease();
boolean canDecrease();
Font getFont();
Font getFont(int style);
String getName();
int getSize();
int getStyle();
void setFont(Font newFont);
void setFont(String typeName, int size, int style);
//
// void setName(String newName);
void setSize(int newSize);
//
// void setStyle(int newStyle);
void addFontChangeListener(IFontChangeListener listener);
void removeFontChangeListener(IFontChangeListener listener);
void fireFontChanged();
}