merge with dev

This commit is contained in:
Desmis
2019-10-07 18:41:30 +02:00
18 changed files with 2085 additions and 2097 deletions

View File

@@ -1295,7 +1295,7 @@ void Options::readFromFile(Glib::ustring fname)
}
if (keyFile.has_key("GUI", "PseudoHiDPISupport")) {
pseudoHiDPISupport = keyFile.get_boolean("GUI", "PseudoHiDPISupport");
pseudoHiDPISupport = keyFile.get_boolean("GUI", "PseudoHiDPISupport");
}
if (keyFile.has_key("GUI", "LastPreviewScale")) {