if(name == null)
InputHandler inputHandler = view.getInputHandler(); int repeatCount = inputHandler.getRepeatCount(); inputHandler.setRepeatEnabled(false);  for(int i = repeatCount; i > 0; i--)
	public static void playMacro(View view, String name)	{		lastMacro = name;		if(name == null)		{			Buffer buffer = jEdit.getBuffer(MiscUtilities.constructPath(				jEdit.getSettingsDirectory(),"macros","__temporary__.macro"));			if(buffer == null)			{				view.getToolkit().beep();				return;			}			playMacroFromBuffer(view,"__temporary__.macro",buffer);			return;		}		String fileName = MiscUtilities.constructPath(			jEdit.getSettingsDirectory(),"macros",name);		// Check if it's open		Buffer buffer = jEdit.getBuffer(fileName);		if(buffer == null)			playMacroFromFile(view,name,fileName);		else			playMacroFromBuffer(view,name,buffer);	}