3694
|
|
Panel, Decorations, Launcher, Quicklist, Tooltip: correctly scale items based on the monitor settings
Adapt elements to match their monitor DPI scale settings. We mostly use cairo_surface_set_device_scale to easily scale cairo-generated textures. Fixes: 1283171, 1283406, 1283410, 1283453, 1284367, 1284780, 1285989
|
Marco Trevisan (Trev... |
10 years ago
|
|
|
3591
|
|
|
Sam Spilsbury |
10 years ago
|
|
|
3578
|
|
|
Marco Trevisan (Trev... |
10 years ago
|
|
|
3297
|
|
|
Andrea Azzarone |
11 years ago
|
|
|
3187
|
|
|
Marco Trevisan (Trev... |
11 years ago
|
|
|
2929
|
|
|
Andrea Azzarone |
11 years ago
|
|
|