QTfrontend/ui/widget/itemNum.cpp
changeset 9531 7fcdedc45589
parent 6700 e04da46ee43c
child 10108 c68cf030eded
equal deleted inserted replaced
9528:9351e96990ae 9531:7fcdedc45589