Browse Source

Reverted directories font change

merge-requests/365/head
eidheim 10 years ago
parent
commit
3aed1e2eea
  1. 4
      src/window.cc

4
src/window.cc

@ -146,10 +146,8 @@ void Window::configure() {
style_context->add_provider_for_screen(screen, css_provider, GTK_STYLE_PROVIDER_PRIORITY_SETTINGS); style_context->add_provider_for_screen(screen, css_provider, GTK_STYLE_PROVIDER_PRIORITY_SETTINGS);
Directories::get().update(); Directories::get().update();
Menu::get().set_keys(); Menu::get().set_keys();
if(Config::get().source.font.size()>0) { if(Config::get().source.font.size()>0)
Terminal::get().override_font(Pango::FontDescription(Config::get().source.font)); Terminal::get().override_font(Pango::FontDescription(Config::get().source.font));
Directories::get().override_font(Pango::FontDescription(Config::get().source.font));
}
} }
void Window::set_menu_actions() { void Window::set_menu_actions() {

Loading…
Cancel
Save