QTfrontend/ui/widget/keybinder.cpp
changeset 12597 00b539e6115d
parent 12241 a0ed4caa6d35
child 12703 f2690a0ccf19
equal deleted inserted replaced
12596:7bae1fab444b 12597:00b539e6115d