Fixed bug 521373: MarginPainter no longer needs to be initialized after font change
3 files changed