QTfrontend/main.cpp
changeset 2077 7320931f12a0
parent 2072 6e0fcbcc3f60
child 2261 57e99c908e7c
equal deleted inserted replaced
2076:aa3263e57b8f 2077:7320931f12a0
   135 			"}"
   135 			"}"
   136 /*  Experimenting with PaintOnScreen and border-radius on IconedGroupBox children didn't work out well
   136 /*  Experimenting with PaintOnScreen and border-radius on IconedGroupBox children didn't work out well
   137 			"IconedGroupBox QComboBox, IconedGroupBox QPushButton, IconedGroupBox QLineEdit, "
   137 			"IconedGroupBox QComboBox, IconedGroupBox QPushButton, IconedGroupBox QLineEdit, "
   138             "IconedGroupBox QSpinBox {"
   138             "IconedGroupBox QSpinBox {"
   139 				"border-radius: 0;"
   139 				"border-radius: 0;"
   140 			"}" */
   140 			"}"
   141 			"IconedGroupBox, IconedGroupBox *, QTabWidget::pane, QTabBar::tab:selected, QToolBox::tab QWidget{"
   141 			"IconedGroupBox, IconedGroupBox *, QTabWidget::pane, QTabBar::tab:selected, QToolBox::tab QWidget{" */
       
   142 			"IconedGroupBox, QTabWidget::pane, QTabBar::tab:selected, QToolBox::tab QWidget{"
   142 				"background-color: #130f2c;"
   143 				"background-color: #130f2c;"
   143 			"}"
   144 			"}"
   144 
   145 
   145 
   146 
   146 			"QPushButton {"
   147 			"QPushButton {"