private void updateMenuBar(ProgramMenuBar mbar) {
		mbar.setEnabled("Cut", true);
		mbar.setEnabled("Copy", true);
		mbar.setEnabled("Paste", true);
		mbar.setEnabled("Select All", true);
		mbar.setEnabled("Save", true);
		mbar.setEnabled("Save As", true);
		mbar.setEnabled("Script", true);
		mbar.setEnabled("Print Console", true);
	}