|
|
|
@ -148,7 +148,6 @@ void Window::configure() { |
|
|
|
Menu::get().set_keys(); |
|
|
|
Menu::get().set_keys(); |
|
|
|
if(Config::get().source.font.size()>0) { |
|
|
|
if(Config::get().source.font.size()>0) { |
|
|
|
Pango::FontDescription font_description(Config::get().source.font); |
|
|
|
Pango::FontDescription font_description(Config::get().source.font); |
|
|
|
font_description.set_size(font_description.get_size()*0.95); |
|
|
|
|
|
|
|
Terminal::get().override_font(font_description); |
|
|
|
Terminal::get().override_font(font_description); |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
|