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

ui: Fixed icons in setup dialogs blurry on high DPI screens

Browse Source
This commit is contained in:
Eberhard Graether
2017-02-14 13:39:01 +01:00
parent 78f8fdc552
commit 591f723b82
10 changed files with 102 additions and 77 deletions
Download Patch File Download Diff File Expand all files Collapse all files
bin/app/data/gui/window/listbox.css
+7 -30
View File
@@ -35,45 +35,21 @@ QtListItemWidget #field {
border-top: 1px solid lightgray;
}
#plusButton, #minusButton, #dotsButton, #editButton {
#iconButton, #dotsButton, #plusButton, #minusButton, #editButton {
border: none;
color: white;
height: 1em;
margin-right: 3px;
width: 1em;
border: none;
padding: 1px;
}
#dotsButton {
margin-top: 2px;
}
#plusButton {
border-image: url(<setting:gui_path>window/plus.png);
}
#plusButton:hover {
border-image: url(<setting:gui_path>window/plus_hover.png);
}
#minusButton {
border-image: url(<setting:gui_path>window/minus.png);
}
#minusButton:hover {
border-image: url(<setting:gui_path>window/minus_hover.png);
}
#dotsButton {
border-image: url(<setting:gui_path>window/dots.png);
}
#dotsButton:hover {
border-image: url(<setting:gui_path>window/dots_hover.png);
#plusButton, #minusButton, #editButton {
margin-right: 3px;
}
#editButton {
border-image: url(<setting:gui_path>code_view/images/edit.png);
margin-left: 6px;
margin-right: 3px;
}
#editButton:hover {
@@ -82,4 +58,5 @@ QtListItemWidget #field {
#dropInfo {
color: #999;
margin-top: 2px;
}
bin/app/data/gui/window/window.css
+3 -26
View File
@@ -63,35 +63,16 @@ QLabel, QCheckBox {
background: transparent;
}
#helpButton, #dotsButton, #refreshButton {
#iconButton, #dotsButton {
border: none;
color: white;
height: 1em;
width: 1em;
}
#helpButton {
border-image: url(<setting:gui_path>window/help.png);
}
#helpButton:hover {
border-image: url(<setting:gui_path>window/help_hover.png);
padding: 1px;
}
#dotsButton {
border-image: url(<setting:gui_path>window/dots.png);
}
#dotsButton:hover {
border-image: url(<setting:gui_path>window/dots_hover.png);
}
#refreshButton {
border-image: url(<setting:gui_path>window/refresh.png);
}
#refreshButton:hover {
border-image: url(<setting:gui_path>window/refresh_hover.png);
margin-right: 2px;
}
#name, #picker {
@@ -119,10 +100,6 @@ QLabel, QCheckBox {
color: black;
}
#dotsButton, #refreshButton {
margin-right: 2px;
}
#windowButton {
background: white;
border: 1px solid lightgray;