QTfrontend/ui/widget/keybinder.cpp
changeset 14942 7ced40e21b2c
parent 14922 089f0c10ca95
child 15270 441bdf1e6026
equal deleted inserted replaced
14941:06af4f0a92bd 14942:7ced40e21b2c