From 707b2d32a56dabf752f656538b5632adfdae911e Mon Sep 17 00:00:00 2001 From: Michael Uhl Date: Sun, 6 Jan 2019 14:58:44 +0100 Subject: [PATCH] [MINOR]: Corrected Umlaut in comment. --- .../src/typinferenzplugin/editor/JavEditor.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java index 8aa6200..dcd52c7 100644 --- a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java +++ b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java @@ -275,7 +275,7 @@ public class JavEditor extends TextEditor{ } /** - * Ermittelt die momentan an dem Dokument, f�r welches dieser Editor zust�ndig ist, angebrachten TypeReplaceMarker. + * Ermittelt die momentan an dem Dokument, für welches dieser Editor zust�ndig ist, angebrachten TypeReplaceMarker. * Dabei werden die ReplaceMarker herausgefiltert, welche mindestens einen Typ an dem übergebenen offset einsetzen. * @param offset * @return