if(buffer == null) { view.getToolkit().beep(); return; }
	public static void playMacro(View view, String name)	{		lastMacro = name;		if(name == null)		{			Buffer buffer = jEdit.getBuffer(MiscUtilities.constructPath(				null,"<< temp macro >>"));			playMacroFromBuffer(view,"<< temp macro >>",buffer);			return;		}		String fileName = jEdit.getSettingsDirectory() + File.separator			+ "macros" + File.separator + name + ".macro";		// Check if it's open		Buffer buffer = jEdit.getBuffer(fileName);		if(buffer == null)			playMacroFromFile(view,name,fileName);		else			playMacroFromBuffer(view,name,buffer);	}