private Action[] augmentActions() {
		Action[] defaultActions = { new UndoAction(), new RedoAction(), refreshAction, saveAction, saveAsAction, saveAsAppletAction, openAction, newAction, insertFileAction, increaseIndentAction, decreaseIndentAction, increaseFontSizeAction, decreaseFontSizeAction, bulletAction, printPreviewAction, pageSetupAction, printAction, propertiesAction, symbolAction, hyperlinkAction, imageReader, colorBarAction, insertAtomContainerAction, insertGBContainerAction, insertChemContainerAction, insertProsynContainerAction, insertComponentAction, fontAction, paragraphAction, insertBulletAction, pastePlainTextAction };
		Action[] old = super.getActions();
		/* change the select all action and its key binding */
		for (Action a : old) {
			if (DefaultEditorKit.selectAllAction.equals(a.getValue(Action.NAME))) {
				ActionMap am = getActionMap();
				Object[] keys = am.allKeys();
				for (int k = 0; k < keys.length; k++) {
					if (am.get(keys[k]) == a) {
						am.put(keys[k], selectAllAction);
					}
				}
				a = selectAllAction;
				break;
			}
		}
		return TextAction.augmentList(old, defaultActions);
	}