public interface FontDimensionHandler
Modifier and Type | Method and Description |
---|---|
void |
decFontDimension()
Increment the font dimension of the IDE's editor
|
int |
getFontDimension() |
void |
incFontDimension()
Increment the font dimension of the IDE's editor
|
void |
setFontDimension(int dimension) |