@Override
public void setFontLevel(int level) {
if (autoloadButton == null) return;
level = Math.max(0, level);
Object[] toSize = new Object[] {loadButton, saveButton, autoloadButton};
FontSizer.setFonts(toSize, level);
for (String name : panels.keySet()) {
TTrack track = trackerPanel.getTrack(name);
FunctionPanel panel = panels.get(name);
if (track == null || panel == null) continue;
// get new footprint icon, automatically resized to current level
panel.setIcon(track.getIcon(21, 16, "point")); // $NON-NLS-1$
}
super.setFontLevel(level);
validate();
autoloadButton.revalidate();
}
