if(buffer.isClosed()) { view.getInputHandler().setMacroRecorder(null); view.showStatus(null); return; }
		public void actionPerformed(EditAction action, String actionCommand)		{			if(buffer.isClosed())			{				view.getInputHandler().setMacroRecorder(null);				view.showStatus(null);				return;			}			// Escape $ characters in action command			if(actionCommand != null)			{				StringBuffer buf = new StringBuffer();				for(int i = 0; i < actionCommand.length(); i++)				{					char ch = actionCommand.charAt(i);					if(ch == '$')						buf.append("\\$");					else						buf.append(ch);				}				actionCommand = buf.toString();			}			String name = action.getName();			// 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);		}