mirror of
https://git.mirrors.martin98.com/https://github.com/Ultimaker/Cura
synced 2025-08-12 06:19:05 +08:00
Don't hard-code the distance between pop-up and header
By default in all of our themes this ends up being the same distance at 100% pixel scale, but it now scales according to the pixel scale of the user's screen while still being properly rounded to integer coordinates.
This commit is contained in:
parent
b2eae08cc7
commit
25e2828ed0
@ -76,7 +76,8 @@ Item
|
|||||||
// On what side should the header corners be shown? 1 is down, 2 is left, 3 is up and 4 is right.
|
// On what side should the header corners be shown? 1 is down, 2 is left, 3 is up and 4 is right.
|
||||||
property alias headerCornerSide: background.cornerSide
|
property alias headerCornerSide: background.cornerSide
|
||||||
|
|
||||||
property int popupOffset: 2
|
// Distance between the header and the content if the content is a pop-up.
|
||||||
|
property int popupOffset: 2 * UM.Theme.getSize("default_lining").height
|
||||||
|
|
||||||
// Prefix used for the dragged position preferences. Preferences not used if empty. Don't translate!
|
// Prefix used for the dragged position preferences. Preferences not used if empty. Don't translate!
|
||||||
property string dragPreferencesNamePrefix: ""
|
property string dragPreferencesNamePrefix: ""
|
||||||
|
Loading…
x
Reference in New Issue
Block a user