public void actionPerformed(ActionEvent e) {
				if (fontDialog == null)
					fontDialog = new FontDialog(Page.this);
				AttributeSet a = ((DefaultStyledDocument) Page.this.getDocument()).getCharacterElement(getCaretPosition() - 1).getAttributes();
				fontDialog.setAttributes(a);
				fontDialog.setVisible(true);
				if (fontDialog.getOption() == JOptionPane.OK_OPTION) {
					setCharacterAttributes(fontDialog.getAttributes(), false);
					saveReminder.setChanged(true);
					notifyPageListeners(new PageEvent(Page.this, PageEvent.FONT_CHANGED));
				}
			}