diff options
Diffstat (limited to 'org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerUtilities.java')
| -rw-r--r-- | org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerUtilities.java | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerUtilities.java b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerUtilities.java index ed5f3a96daa..e23343c57fe 100644 --- a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerUtilities.java +++ b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerUtilities.java @@ -25,7 +25,6 @@ import org.eclipse.core.runtime.IConfigurationElement; import org.eclipse.core.runtime.IExtension; import org.eclipse.core.runtime.IExtensionPoint; import org.eclipse.core.runtime.ILog; -import org.eclipse.core.runtime.IProgressMonitor; import org.eclipse.core.runtime.Platform; import org.eclipse.core.resources.IMarker; @@ -382,12 +381,9 @@ public final class MarkerUtilities { */ public static void createMarker(final IResource resource, final Map<String, Object> attributes, final String markerType) throws CoreException { - IWorkspaceRunnable r= new IWorkspaceRunnable() { - @Override - public void run(IProgressMonitor monitor) throws CoreException { - IMarker marker= resource.createMarker(markerType); - marker.setAttributes(attributes); - } + IWorkspaceRunnable r= monitor -> { + IMarker marker= resource.createMarker(markerType); + marker.setAttributes(attributes); }; resource.getWorkspace().run(r, null,IWorkspace.AVOID_UPDATE, null); |