chiark / gitweb /
Added shortcut key for expert settings menu. See #619
authordaid <daid303@gmail.com>
Fri, 22 Nov 2013 12:19:22 +0000 (13:19 +0100)
committerdaid <daid303@gmail.com>
Fri, 22 Nov 2013 12:19:22 +0000 (13:19 +0100)
commita50b169f7953585ee37c4a1c54c06e136706ef8c
tree5b4e234ff50a5f3b35bdc5c790df05e3e7770815
parent58992f08e0bc4fe6761a595a62e66517e98b4a9a
Added shortcut key for expert settings menu. See #619
Cura/gui/mainWindow.py