QTfrontend/ui/widget/bgwidget.h
changeset 6187 59ff93c0ae2d
parent 6060 fdfc01419815
child 6241 e2c7771162ae