new BufferRecorder(buffer));
new BufferRecorder(view,buffer));
	public static void beginRecording(View view, String name, Buffer buffer)	{		lastMacro = name;		view.getTextArea().getInputHandler().setMacroRecorder(			new BufferRecorder(buffer));	}