}
	public void showSetMarkerDialog()	{		if(buffer.isEditable())			getToolkit().beep();		String marker = GUIUtilities.input(view,"setmarker",			getSelectedText());		if(marker != null)			buffer.addMarker(marker,getSelectionStart(),				getSelectionEnd());	}