QTfrontend/ui/widget/colorwidget.h
changeset 13254 d2b58cf339fe
parent 8434 4821897a0f10
equal deleted inserted replaced
13253:b0022324fb4e 13254:d2b58cf339fe