QTfrontend/ui/widget/keybinder.cpp
changeset 12510 82c75a317d48
parent 12241 a0ed4caa6d35
child 12703 f2690a0ccf19
equal deleted inserted replaced
12509:b393a6308662 12510:82c75a317d48