for(int i = 0; i < markers.size(); i++) { String name = ((Marker)markers.elementAt(i)).getName(); EnhancedMenuItem menuItem = new EnhancedMenuItem(name, null,clearMarkerAction,name); clearMarker.add(menuItem); menuItem = new EnhancedMenuItem(name,null, gotoMarkerAction,name); gotoMarker.add(menuItem); } }
	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;		}