Enumeration enum = editPane.getBuffer().getMarkers(); if(!enum.hasMoreElements())
Vector markers = editPane.getBuffer().getMarkers(); if(markers.size() == 0)
	void updateMarkerMenus()	{		if(clearMarker.getMenuComponentCount() != 0)			clearMarker.removeAll();		if(gotoMarker.getMenuComponentCount() != 0)			gotoMarker.removeAll();		EditAction clearMarkerAction = jEdit.getAction("clear-marker");		EditAction gotoMarkerAction = jEdit.getAction("goto-marker");		Enumeration enum = editPane.getBuffer().getMarkers();		if(!enum.hasMoreElements())		{			clearMarker.add(GUIUtilities.loadMenuItem(this,"no-markers"));			gotoMarker.add(GUIUtilities.loadMenuItem(this,"no-markers"));			return;		}