JavaTX/Plugin_JCC
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[MINOR]: Corrected Umlaut in comment.

Browse Source
This commit is contained in:
Michael Uhl 2019-01-06 14:58:44 +01:00
parent c6c3be7cae
commit 707b2d32a5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java
View File

@ -275,7 +275,7 @@ public class JavEditor extends TextEditor{
}
/**
* Ermittelt die momentan an dem Dokument, f<EFBFBD>r welches dieser Editor zust<EFBFBD>ndig ist, angebrachten TypeReplaceMarker.
* Ermittelt die momentan an dem Dokument, für welches dieser Editor zust<EFBFBD>ndig ist, angebrachten TypeReplaceMarker.
* Dabei werden die ReplaceMarker herausgefiltert, welche mindestens einen Typ an dem übergebenen offset einsetzen.
* @param offset
* @return