[formatter/TextRegionToString] make sure there is a trailing space

Signed-off-by: Moritz Eysholdt <moritz.eysholdt@typefox.io>
This commit is contained in:
Moritz Eysholdt 2016-04-08 11:25:44 +02:00
parent d12a761542
commit e04506c903

View file

@ -217,7 +217,7 @@ public class TextRegionAccessToString {
protected String toString(IEObjectRegion region) {
EObject obj = region.getSemanticElement();
StringBuilder builder = new StringBuilder(Strings.padEnd(toClassWithName(obj), textWidth + 1, ' '));
StringBuilder builder = new StringBuilder(Strings.padEnd(toClassWithName(obj), textWidth, ' ') + " ");
EObject element = region.getGrammarElement();
if (element instanceof AbstractElement)
builder.append(grammarToString.apply((AbstractElement) element));