tree a00a9e4495c6636ba1a0b24fa9aaac985ed264cb
parent 50dc4c4b9bb9cdac7c36ba673acf2d68b1d72695
author John Hendrikx <hjohn@xs4all.nl> 1502877579 +0200
committer Dani Megert <Daniel_Megert@ch.ibm.com> 1515764461 -0500

Bug 434194: [painting] "Show whitespace character" option makes the
editor slow if there are many spaces

Space characters (and their visible place holders) are drawn with a
single call, not separately, if they are all of the same width.

Conflicts:
	org.eclipse.jface.text/src/org/eclipse/jface/text/WhitespaceCharacterPainter.java

Change-Id: I29249a775030fe3f805b69a6265fff285a67eb22
Signed-off-by: John Hendrikx <hjohn@xs4all.nl>