Playing some more with the tabs of the media manager.

This commit is contained in:
Raoul Snyman 2010-07-21 23:27:36 +02:00
parent 9c5e9f1443
commit d105ee8dfb
1 changed files with 5 additions and 6 deletions

View File

@ -41,15 +41,14 @@ log = logging.getLogger(__name__)
MEDIA_MANAGER_STYLE = """ MEDIA_MANAGER_STYLE = """
QToolBox::tab:selected { QToolBox::tab:selected {
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1,
stop: 0 palette(mid), stop: 0.4999 palette(button), stop: 0.5 palette(dark), stop: 1.0 palette(mid)); stop: 0 palette(light), stop: 0.5 palette(button), stop: 1.0 palette(dark));
border: 1px groove palette(dark);
} }
QToolBox::tab { QToolBox::tab {
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1,
stop: 0 palette(button), stop: 0.4999 palette(light), stop: 0.5 palette(mid), stop: 1.0 palette(button)); stop: 0 palette(midlight), stop: 0.5 palette(button), stop: 1.0 palette(mid));
border-width: 1px; border: 1px groove palette(mid);
border-style: outset; border-radius: 6px;
border-color: palette(dark);
border-radius: 5px;
} }
""" """
class VersionThread(QtCore.QThread): class VersionThread(QtCore.QThread):