QTfrontend/ui/widget/hatprompt.cpp
changeset 15289 fd20e0a134af
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
15288:0f734fa371e1 15289:fd20e0a134af