chiark / gitweb /
Update the GUI when changing machine settings.
authordaid <daid303@gmail.com>
Tue, 24 Sep 2013 15:20:23 +0000 (17:20 +0200)
committerdaid <daid303@gmail.com>
Tue, 24 Sep 2013 15:20:23 +0000 (17:20 +0200)
commit9e01631f1f2bfee534a0766c6040aa5f2e85e0a6
tree6a789e218fb8729d06ddecb2c7c6b387f405871e
parent6442015ee88fefc2665c8a703ce7832e0fa6c0f3
Update the GUI when changing machine settings.
Cura/gui/mainWindow.py
Cura/gui/preferencesDialog.py
Cura/util/profile.py