QTfrontend/ui/widget/bgwidget.h
changeset 6217 ef53ba841791
parent 6060 fdfc01419815
child 6241 e2c7771162ae