#include "frontends/alert.h"
#include "frontends/Application.h"
-#include "frontends/NoGuiFontLoader.h"
-#include "frontends/NoGuiFontMetrics.h"
#include "frontends/FontLoader.h"
#include "frontends/FontMetrics.h"
frontend::FontLoader & theFontLoader()
{
- static frontend::NoGuiFontLoader no_gui_font_loader;
-
- if (!use_gui)
- return no_gui_font_loader;
-
BOOST_ASSERT(frontend::guiApp);
return frontend::guiApp->fontLoader();
}
frontend::FontMetrics const & theFontMetrics(FontInfo const & f)
{
- static frontend::NoGuiFontMetrics no_gui_font_metrics;
-
- if (!use_gui)
- return no_gui_font_metrics;
-
BOOST_ASSERT(frontend::guiApp);
return frontend::guiApp->fontLoader().metrics(f);
}