BeanShell.runScript(view,lastMacro,false);
BeanShell.runScript(view,lastMacro,true,false);
	public static void runTemporaryMacro(View view)	{		String settings = jEdit.getSettingsDirectory();		if(settings == null)		{			GUIUtilities.error(view,"no-settings",new String[0]);			return;		}		lastMacro = MiscUtilities.constructPath(			jEdit.getSettingsDirectory(),"macros",			"Temporary_Macro.bsh");		BeanShell.runScript(view,lastMacro,false);	}