From feb122553e5ddfa81b8054ee6cc62c5e7e02d73a Mon Sep 17 00:00:00 2001 From: Hombre57 Date: Sun, 14 Apr 2019 17:19:48 +0200 Subject: [PATCH] Minor bugfix --- rtgui/options.cc | 2 +- rtgui/preferences.cc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/rtgui/options.cc b/rtgui/options.cc index 4ba6ee5fc..8f601b764 100644 --- a/rtgui/options.cc +++ b/rtgui/options.cc @@ -1253,7 +1253,7 @@ void Options::readFromFile(Glib::ustring fname) CPFontSize = keyFile.get_integer("GUI", "CPFontSize"); } - if (keyFile.has_key("GUI", "ScaledIcons")) { + if (keyFile.has_key("GUI", "PseudoHiDPISupport")) { pseudoHiDPISupport = keyFile.get_boolean("GUI", "PseudoHiDPISupport"); } diff --git a/rtgui/preferences.cc b/rtgui/preferences.cc index 42cb9a607..b37fc537a 100644 --- a/rtgui/preferences.cc +++ b/rtgui/preferences.cc @@ -1056,7 +1056,7 @@ Gtk::Widget* Preferences::getGeneralPanel () appearanceGrid->attach(*themeLbl, 0, 0, 1, 1); appearanceGrid->attach(*themeCBT, 1, 0, 1, 1); appearanceGrid->attach(*themeRestartLbl, 2, 0, 2, 1); - appearanceGrid->attach(*vSep, 2, 1, 1, 3); + appearanceGrid->attach(*vSep, 2, 1, 1, 2); appearanceGrid->attach(*mainFontLbl, 0, 1, 1, 1); appearanceGrid->attach(*mainFontFB, 1, 1, 1, 1); appearanceGrid->attach(*cropMaskColorLbl, 3, 1, 1, 1);