if(tempTimer != null) { tempTimer.stop(); tempTimer = null; }
	public void setMessage(String message)	{		if(message == null)		{			InputHandler inputHandler = view.getInputHandler();			if(inputHandler.isRepeatEnabled())			{				int repeatCount = inputHandler.getRepeatCount();				this.message.setText(jEdit.getProperty("view.status.repeat",					new Object[] { repeatCount == 1 ? "" : String.valueOf(repeatCount) }));			}			else if(view.getMacroRecorder() != null)				this.message.setText(jEdit.getProperty("view.status.recording"));			else				this.message.setText(null);		}		else			this.message.setText(message);	}