Add spaces between indices when building string representation

kpeeters · kpeeters · commit 4ee9322d5182 · 2017-05-16T17:17:47.000+01:00
diff --git a/core/DisplayTerminal.cc b/core/DisplayTerminal.cc
@@ -184,7 +184,7 @@ void DisplayTerminal::print_children(std::ostream& str, Ex::iterator it, int ski
 											 current_parent_rel_);
 			else str  << "}";
 			}
-//		else str << " ";
+		else str << " ";
 		
 		previous_bracket_=current_bracket_;
 		previous_parent_rel_=current_parent_rel_;

Original file line number	Diff line number	Diff line change
`@@ -184,7 +184,7 @@ void DisplayTerminal::print_children(std::ostream& str, Ex::iterator it, int ski`
`184`	`184`	`current_parent_rel_);`
`185`	`185`	`else str << "}";`
`186`	`186`	`}`
`187`		`-// else str << " ";`
	`187`	`+ else str << " ";`
`188`	`188`
`189`	`189`	`previous_bracket_=current_bracket_;`
`190`	`190`	`previous_parent_rel_=current_parent_rel_;`