public void setCurrentFont(Font font) {
		mNoNotify = true;
		mFontNameMenu.setSelectedItem(font.getName());
		if (mFontNameMenu.getSelectedItem() == null) {
			mFontNameMenu.setSelectedIndex(0);
		}
		mFontSizeMenu.setSelectedItem(new Integer(font.getSize()));
		if (mFontSizeMenu.getSelectedItem() == null) {
			mFontSizeMenu.setSelectedIndex(3);
		}
		mFontStyleMenu.setSelectedIndex(font.getStyle());
		if (mFontStyleMenu.getSelectedItem() == null) {
			mFontStyleMenu.setSelectedIndex(0);
		}
		mNoNotify = false;
		notifyActionListeners();
	}