QTfrontend/ui/widget/hatprompt.cpp
changeset 14922 b3890f4311f7
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
14921:7ced40e21b2c 14922:b3890f4311f7