QTfrontend/ui/widget/itemNum.cpp
changeset 8400 33ab77c0b486
parent 6700 e04da46ee43c
child 10108 c68cf030eded
equal deleted inserted replaced
8399:3e9ca6d77945 8400:33ab77c0b486