Tweak the display of the media manager items to make them stand out slightly more.

bzr-revno: 962
This commit is contained in:
Raoul Snyman 2010-07-23 10:35:54 +02:00
commit ea0997c6e0

View File

@ -39,18 +39,22 @@ from openlp.core.utils import check_latest_version, AppLocation, add_actions, \
log = logging.getLogger(__name__) log = logging.getLogger(__name__)
MEDIA_MANAGER_STYLE = """ MEDIA_MANAGER_STYLE = """
QToolBox {
padding-bottom: 2px;
}
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: 1.0 palette(dark)); stop: 0 palette(button), stop: 0.5 palette(button),
border-width: 1px; stop: 1.0 palette(mid));
border-style: outset; border: 1px groove palette(mid);
border-color: palette(dark);
border-radius: 5px; border-radius: 5px;
} }
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(light), stop: 1.0 palette(button)); stop: 0 palette(light), stop: 0.5 palette(midlight),
border-color: palette(button); stop: 1.0 palette(dark));
border: 1px groove palette(dark);
font-weight: bold;
} }
""" """
class VersionThread(QtCore.QThread): class VersionThread(QtCore.QThread):