QTfrontend/ui/widget/hatprompt.cpp
changeset 14403 8af01d65ccda
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
14402:234bb36d3b8c 14403:8af01d65ccda