QTfrontend/ui/widget/keybinder.cpp
changeset 11820 fe339879cf75
parent 11674 d59b6f289e30
child 12236 a0ed4caa6d35
equal deleted inserted replaced
11807:93621207563b 11820:fe339879cf75