QTfrontend/ui/widget/themeprompt.cpp
changeset 14891 e72d8c2299dd
parent 13283 f816b9e73fcb
equal deleted inserted replaced
14890:ff2c19a462de 14891:e72d8c2299dd