chiark / gitweb /
Check for modified files and ask the user to reload if the file is changed.
authordaid303 <daid303@gmail.com>
Thu, 13 Dec 2012 08:52:25 +0000 (09:52 +0100)
committerdaid303 <daid303@gmail.com>
Thu, 13 Dec 2012 08:52:25 +0000 (09:52 +0100)
commit5b44f01b8559f289090c78dff066eb7b1c35217a
tree5efb47d3f133f306221fd2ea6732553d2fc915f3
parentcedfec86b537044ceeef21d1d6a50f7bb655a126
Check for modified files and ask the user to reload if the file is changed.
Cura/gui/preview3d.py
Cura/gui/sliceProgessPanel.py