if(buffer.isClosed()) { view.getTextArea().getInputHandler() .setMacroRecorder(null); view.showStatus(null); return; }
		public void actionPerformed(ActionListener listener,			String actionCommand)		{			String name = getActionName(listener);			if(name == null)			{				// eg, Macros$1 action				return;			}			// Collapse multiple insert-char's			if(name.equals("insert-char"))			{				if(lastWasInsert)				{					append(actionCommand);					return;				}				else					lastWasInsert = true;			}			else				lastWasInsert = false;			if(actionCommand == null)				append("\n" + name);			else				append("\n" + name + "@" + actionCommand);		}