QTfrontend/ui/widget/itemNum.cpp
changeset 11950 1e58845fa3c1
parent 10108 c68cf030eded
equal deleted inserted replaced
11949:87edf67f2107 11950:1e58845fa3c1