QTfrontend/ui/widget/hatprompt.cpp
branchqmlfrontend
changeset 11607 f0dcdbb9b2fe
parent 11490 fb7817a5c2b1