ides.api.plugin.presentation
Interface GlobalFontSizePresentation

All Superinterfaces:

Presentation

public interface GlobalFontSizePresentation
extends Presentation

An interface for Presentations that support the ability to change the font size. Such a presentation may also update the font size via Hub.getUserInterface().getFontSelector().setFontSize(float fontSize), e.g., to restore a saved font size.

Author:

Valerie Sugarman

Method Summary

void	setFontSize(float fs) Sets the font size for the presentation.

Methods inherited from interface ides.api.plugin.presentation.Presentation

forceRepaint, getGUI, getModel, getName, release, setTrackModel

Method Detail

setFontSize

void setFontSize(float fs)

Sets the font size for the presentation.

Parameters:

fs - the font size