QTfrontend/ui/widget/igbox.cpp
branchflibqtfrontend
changeset 8222 d3dc08500fc0
parent 7153 f0d055645ab2
child 9080 9b42757d7e71