Spring/spring-tools
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Tweak: try to make problem marker at end of document more visible.

Browse Source
This commit is contained in:
Kris De Volder
2017-04-03 15:34:17 -07:00
parent 097e858232
commit 08f83c8824
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
vscode-extensions/commons/commons-language-server/src/main/java/org/springframework/ide/vscode/commons/languageserver/util/DocumentRegion.java
View File

@@ -287,7 +287,8 @@ public class DocumentRegion implements CharSequence {
* Create a document region of lenght 0 at the every end of the document.
*/
public static DocumentRegion endOf(IDocument doc) {
return new DocumentRegion(doc, doc.getLength(), doc.getLength());
DocumentRegion trimmedDoc = new DocumentRegion(doc).trimEnd();
return new DocumentRegion(doc, trimmedDoc.getLength(), doc.getLength());
}
}