commit | 153d18f2ec4f8ffa11eadcd344ab8e0135574abb | [log] [tgz] |
---|---|---|
author | Dani Megert <dmegert> | Thu Aug 24 16:19:08 2017 +0200 |
committer | Dani Megert <dmegert> | Thu Aug 24 16:19:08 2017 +0200 |
tree | 3fe69b1b33717602cbbb7f85a8dc9328a1ca92eb | |
parent | 285e1cd350eb852ea124518709054e0113ee08da [diff] |
Fixed bug 521373: MarginPainter no longer needs to be initialized after font change