| commit | a435a3c38c399c4c17905b5a714529e9268497a8 | [log] [tgz] |
|---|---|---|
| author | John Hendrikx <hjohn@xs4all.nl> | Wed Aug 16 11:59:39 2017 +0200 |
| committer | Dani Megert <Daniel_Megert@ch.ibm.com> | Tue Aug 22 10:21:16 2017 -0400 |
| tree | 9fe8d72ca09286fdb865ebff03963cb30147283f | |
| parent | f002b3af5b2e8c8d256615df1f5ab37dd11312f6 [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. Change-Id: Ibfbcfe216cb8f7117180d5b530ebdf39ff81c164 Signed-off-by: John Hendrikx <hjohn@xs4all.nl>