Merge branch 'fix/issue1541' into devel

This commit is contained in:
Gina Häußge 2016-10-14 16:24:43 +02:00
commit 9fb8883923

View file

@ -233,6 +233,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)