- FontSetChanger(MetricsBase & mb, docstring const & font);
- FontSetChanger(MetricsBase & mb, char const * const font);
+ FontSetChanger(MetricsBase & mb, docstring const & font,
+ bool really_change_font = true);
+ FontSetChanger(MetricsBase & mb, char const * const font,
+ bool really_change_font = true);