Persist settings after changing default printer profile

Fixes #1541
This commit is contained in:
Gina Häußge 2016-10-14 16:23:47 +02:00
parent bc5044b125
commit 3f8dde75d5

View file

@ -228,6 +228,7 @@ class PrinterProfileManager(object):
if make_default:
settings().set(["printerProfiles", "default"], identifier)
settings().save()
if self._current is not None and self._current["id"] == identifier:
self.select(identifier)