Method setFontLevel

src/org/opensourcephysics/tools/DataTool.java:2200–2229

Sets the font level. @param level the level

(int level)

	 * @param level the level
	 */
	@Override
	public void setFontLevel(int level) {
		if (getJMenuBar() == null)
			return;
		super.setFontLevel(level);
		FontSizer.setFonts(emptyMenubar, level);
		FontSizer.setFonts(fileMenu, level);
		FontSizer.setFonts(editMenu, level);
		double factor = FontSizer.getFactor(level);
		buttonHeight = (int) (factor * defaultButtonHeight);
		if (tabbedPane != null) {
			for (int i = 0; i < getTabCount(); i++) {
				getTab(i).setFontLevel(level);
			}
		}
		if (dataBuilder != null) {
			dataBuilder.setFontLevel(level);
		}
		if (fontSizeGroup != null) {
			Enumeration<AbstractButton> e = fontSizeGroup.getElements();
			for (; e.hasMoreElements();) {
				AbstractButton button = e.nextElement();
				int i = Integer.parseInt(button.getActionCommand());
				if (i == FontSizer.getLevel()) {
					button.setSelected(true);
				}
			}
		}
		OSPLog.setFonts(level);
	}

	@Override
	public void setVisible(boolean vis) {