chiark / gitweb /
Hide tools when no object is selected.
authordaid303 <daid303@gmail.com>
Fri, 12 Apr 2013 07:50:34 +0000 (09:50 +0200)
committerdaid303 <daid303@gmail.com>
Fri, 12 Apr 2013 07:50:34 +0000 (09:50 +0200)
commitd272cf42d5219c6cd9a538a9ddf6d29ff49855e6
treecfa63b3b518b609ee17f852fd8285cfccfa7dc6a
parentf47e02f8a7a2baa25f6b7e1c1b4e28e1d320679f
Hide tools when no object is selected.
Cura/gui/sceneView.py