if(!getFlag(READ_ONLY))
if(!getFlag(READ_ONLY) && !jEdit.getBooleanProperty("persistentMarkers"))
	public void addMarker(char shortcut, int pos)	{		if(!getFlag(READ_ONLY))			setDirty(true);		Marker markerN = new Marker(this,shortcut,pos);		boolean added = false;		Element map = getDefaultRootElement();		int line = map.getElementIndex(pos);		// don't sort markers while buffer is being loaded		if(!getFlag(LOADING))		{			markerN.createPosition();			for(int i = 0; i < markers.size(); i++)			{				Marker marker = (Marker)markers.elementAt(i);				if(shortcut != '\0' && marker.getShortcut() == shortcut)					marker.setShortcut('\0');				if(map.getElementIndex(marker.getPosition()) == line)				{					markers.removeElementAt(i);					i--;				}			}			for(int i = 0; i < markers.size(); i++)			{				Marker marker = (Marker)markers.elementAt(i);				if(marker.getPosition() > pos)				{					markers.insertElementAt(markerN,i);					added = true;					break;				}			}		}		if(!added)			markers.addElement(markerN);		if(!getFlag(LOADING))		{			EditBus.send(new BufferUpdate(this,null,				BufferUpdate.MARKERS_CHANGED));		}	}