From 08f83c88246da483a030a27bd6ea7ca4b4f94f53 Mon Sep 17 00:00:00 2001 From: Kris De Volder Date: Mon, 3 Apr 2017 15:34:17 -0700 Subject: [PATCH] Tweak: try to make problem marker at end of document more visible. --- .../ide/vscode/commons/languageserver/util/DocumentRegion.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/vscode-extensions/commons/commons-language-server/src/main/java/org/springframework/ide/vscode/commons/languageserver/util/DocumentRegion.java b/vscode-extensions/commons/commons-language-server/src/main/java/org/springframework/ide/vscode/commons/languageserver/util/DocumentRegion.java index 020a74f37..76b752ce6 100644 --- a/vscode-extensions/commons/commons-language-server/src/main/java/org/springframework/ide/vscode/commons/languageserver/util/DocumentRegion.java +++ b/vscode-extensions/commons/commons-language-server/src/main/java/org/springframework/ide/vscode/commons/languageserver/util/DocumentRegion.java @@ -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()); } } \ No newline at end of file