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

This commit is contained in:
Kris De Volder
2017-04-03 16:02:30 -07:00
parent 08f83c8824
commit 5de3963e91

View File

@@ -288,7 +288,7 @@ public class DocumentRegion implements CharSequence {
*/
public static DocumentRegion endOf(IDocument doc) {
DocumentRegion trimmedDoc = new DocumentRegion(doc).trimEnd();
return new DocumentRegion(doc, trimmedDoc.getLength(), doc.getLength());
return new DocumentRegion(doc, trimmedDoc.getLength(), trimmedDoc.getLength());
}
}