chiark / gitweb /
Add preferences shortcut key #246
authordaid303 <daid303@gmail.com>
Mon, 29 Oct 2012 09:31:36 +0000 (10:31 +0100)
committerdaid303 <daid303@gmail.com>
Mon, 29 Oct 2012 09:31:36 +0000 (10:31 +0100)
commit7f4d315629a964d8fef10c5a2347a618fc3553e0
treead4ad1667859f0a0331c35aaf4966e04f874ee11
parentafd27022de0ca8ad9011bd8b1d6dec705137d108
Add preferences shortcut key #246
Cura/gui/mainWindow.py
Cura/gui/simpleMode.py