QTfrontend/ui/widget/keybinder.cpp
changeset 11809 f412d539284e
parent 11674 d59b6f289e30
child 12236 a0ed4caa6d35
equal deleted inserted replaced
11808:ffe6e1344ebd 11809:f412d539284e