QTfrontend/ui/widget/keybinder.cpp
changeset 15021 62e3853fa2ed
parent 14901 089f0c10ca95
child 15249 441bdf1e6026
equal deleted inserted replaced
15020:fa597f6e301d 15021:62e3853fa2ed