Uses of Class
org.mockcentral.editor.MarkerManager

Packages that use MarkerManager

org.mockcentral.editor

Contains a top-level Interface and Classes for the plug-in editor.

Uses of MarkerManager in org.mockcentral.editor

Methods in org.mockcentral.editor that return MarkerManager

MarkerManager	IMockCentralPluginEditor.getMarkerManager() Returns the MarkerManager used for managing the IMarker instances belonging to the editor's IResource.
MarkerManager	MockCentralPluginEditor.getMarkerManager()

Methods in org.mockcentral.editor with parameters of type MarkerManager

void	MockCentralPluginEditor.setMarkerManager(MarkerManager markerManager) Sets the MarkerManager used for managing the IMarker instances belonging to the IResource.