| commit | 0d7ba04e9f7234bd06246884dcfff974339722b7 | [log] [tgz] |
|---|---|---|
| author | John Hendrikx <hjohn@xs4all.nl> | Wed Aug 16 11:59:39 2017 +0200 |
| committer | Dani Megert <Daniel_Megert@ch.ibm.com> | Fri Jan 12 08:41:01 2018 -0500 |
| tree | a00a9e4495c6636ba1a0b24fa9aaac985ed264cb | |
| parent | 50dc4c4b9bb9cdac7c36ba673acf2d68b1d72695 [diff] |
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>