ynkmr/Sourcetrail
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

ui: color schemes

Browse Source 
Put all colors into single xml file. Accessing colors is handled via the singleton class ColorScheme. The default scheme
"bright.xml" holds the original colors. The scheme "dark.xml" is a start, but still a poor alternative. Color schemes
can be switched via the View menu.
This commit is contained in:
Eberhard Graether
2015-07-17 19:50:39 +02:00
parent fb170cbd5d
commit 5722b4dc23
42 changed files with 979 additions and 309 deletions
Download Patch File Download Diff File Expand all files Collapse all files
bin/app/data/gui/code_view/code_view.css
+48 -18
View File
@@ -1,40 +1,48 @@
#code_file_list {
background-color: white;
#code_file_list_base, #code_file_list {
background-color: <color:code/background>;
}
* {
font-size: <setting:font_size>pt;
}
#code_file {
background-color: white;
border: 2px solid #E0E0E0;
background-color: <color:code/snippet/background>;
border: 2px solid <color:code/file/background>;
border-radius: 14px;
}
#code_file #title_widget {
background-color: #E0E0E0;
background-color: <color:code/file/background>;
border-top-left-radius: 10px;
border-top-right-radius: 10px;
margin-bottom: 5px;
padding-right: 5px;
}
#code_file #title_label {
background: none;
background-color: <color:code/file/title/normal>;
border: none;
border-radius: 3px;
color: <color:code/file/title/text>;
padding: 2px 4px;
margin: 1px 8px 3px;
}
#code_file #title_label:hover {
background-color: #D0D0D0;
background-color: <color:code/file/title/hover>;
}
#code_file #title_label:disabled {
color: black;
#code_file #title_label:pressed {
background-color: <color:code/file/title/press>;
}
#code_file #code_snippet{
border-top: 2px solid #E0E0E0;
padding-top: 2px;
#code_file #code_snippet {
background-color: <color:code/snippet/background>;
border-top: 2px solid <color:code/file/background>;
}
#code_file #code_snippet * {
font-family: "<setting:font_name>";
}
#code_file #code_snippet[isFirst=true] {
@@ -42,23 +50,45 @@
padding-top: 0px;
}
#code_file #code_snippet[isLast=true] {
border-bottom-left-radius: 12px;
border-bottom-right-radius: 12px;
}
#code_file #code_snippet #scope_name, #code_file #code_snippet #dots {
background: none;
color: gray;
background-color: <color:code/snippet/title/background>;
color: <color:code/snippet/title/text>;
border: none;
}
#code_file #code_snippet #scope_name:hover {
background-color: <color:code/snippet/title/hover>;
}
#code_file #code_snippet #dots {
background-color: <color:code/snippet/line_number/background>;
padding-right: 13px;
text-align: right;
}
#code_file #code_snippet #scope_name {
padding-left: 4px;
text-align: left;
}
#code_file #code_snippet #line_number_area {
background-color: <color:code/snippet/line_number/background>;
border: none;
color: <color:code/snippet/line_number/text>;
}
#code_file #code_snippet[isLast=true] #line_number_area {
border-bottom-left-radius: 12px;
}
#code_area {
background-color: transparent;
color: <color:code/snippet/syntax/normal>;
}
#code_file #maximize_button, #code_file #snippet_button, #code_file #minimize_button {
@@ -92,7 +122,7 @@
}
QToolTip {
background-color: rgb(204, 204, 204);
border: 1px solid rgb(0, 0, 0);
color: rgb(0, 0, 0);
background-color: <color:tool_tip/background>;
color: <color:tool_tip/text>;
font-size: <setting:font_size>pt;
}
bin/app/data/gui/refresh_view/refresh_view.css
+7 -7
View File
@@ -1,20 +1,20 @@
#refresh_bar {
background: white;
background: transparent;
}
QPushButton {
background: #E0E0E0;
background: <color:search/button/normal>;
border: none;
height: 30px;
width: 30px;
}
QPushButton:hover, QPushButton:checked {
background: #B2B2B2;
background: <color:search/button/hover>;
}
QPushButton:pressed {
background: #626262;
background: <color:search/button/press>;
}
#refresh_button {
@@ -29,7 +29,7 @@ QPushButton:pressed {
}
QToolTip {
background-color: rgb(204, 204, 204);
border: 1px solid rgb(0, 0, 0);
color: rgb(0, 0, 0);
background-color: <color:tool_tip/background>;
color: <color:tool_tip/text>;
font-size: <setting:font_size>pt;
}
bin/app/data/gui/search_view/search_view.css
+25 -13
View File
@@ -1,9 +1,18 @@
* {
font-size: <setting:font_size>pt;
}
#search_box, #search_box * {
font-family: "<setting:font_name>";
font-size: <setting:font_size+2>pt;
}
#search_bar {
background: white;
background-color: transparent;
}
QWidget#search_box_container {
background: #E0E0E0;
background: <color:search/field/background>;
border: none;
border-bottom-left-radius: 12px;
border-top-left-radius: 12px;
@@ -11,26 +20,29 @@ QWidget#search_box_container {
}
QLineEdit#search_box {
background: #E0E0E0;
background-color: transparent;
border: none;
selection-background-color: #B2B2B2;
color: <color:search/field/text>;
selection-background-color: <color:search/field/highlight>;
}
QWidget#search_box_highlight {
background: #B2B2B2;
background-color: <color:search/field/highlight>;
border: none;
}
QAbstractItemView#search_box_popup {
background-color: white;
background-color: <color:search/popup/background>;
border: none;
color: <color:search/popup/text>;
font-family: "<setting:font_name>";
margin: 8px 0 0;
min-height: 26px;
selection-background-color: #B2B2B2;
selection-background-color: <color:search/popup/highlight>;
}
QPushButton#search_button {
background: #E0E0E0;
background: <color:search/button/normal>;
border: none;
border-bottom-right-radius: 12px;
border-top-right-radius: 12px;
@@ -39,15 +51,15 @@ QPushButton#search_button {
}
#search_button:hover {
background: #B2B2B2;
background: <color:search/button/hover>;
}
#search_button:pressed {
background: #626262;
background: <color:search/button/press>;
}
QToolTip {
background-color: rgb(204, 204, 204);
border: 1px solid rgb(0, 0, 0);
color: rgb(0, 0, 0);
background-color: <color:tool_tip/background>;
color: <color:tool_tip/text>;
font-size: <setting:font_size>pt;
}
bin/app/data/gui/undoredo_view/undoredo_view.css
+8 -8
View File
@@ -1,9 +1,9 @@
#undo_redo_bar {
background: white;
background: transparent;
}
QPushButton {
background: #E0E0E0;
background: <color:search/button/normal>;
border: none;
background-position: 15px 5px;
height: 30px;
@@ -22,19 +22,19 @@ QPushButton {
}
QPushButton:disabled {
background: #F4F4F4;
background: <color:search/button/disabled>;
}
QPushButton:hover {
background: #B2B2B2;
background: <color:search/button/hover>;
}
QPushButton:pressed {
background: #626262;
background: <color:search/button/press>;
}
QToolTip {
background-color: rgb(204, 204, 204);
border: 1px solid rgb(0, 0, 0);
color: rgb(0, 0, 0);
background-color: <color:tool_tip/background>;
color: <color:tool_tip/text>;
font-size: <setting:font_size>pt;
}