3703
|
|
|
Andrea Azzarone |
|
10 years ago
|
|
|
3702
|
|
|
CI bot |
7.1.2+14.04.20140305-0ubuntu1 |
10 years ago
|
|
|
3701
|
|
|
Brandon Schaefer |
|
10 years ago
|
|
|
3700
|
|
|
Brandon Schaefer |
|
10 years ago
|
|
|
3699
|
|
|
Marco Trevisan (Trev... |
|
10 years ago
|
|
|
3698
|
|
|
Chris Townsend |
|
10 years ago
|
|
|
3697
|
|
|
William Hua |
|
10 years ago
|
|
|
3696
|
|
|
Luke Yelavich |
|
10 years ago
|
|
|
3695
|
|
|
CI bot |
7.1.2+14.04.20140303-0ubuntu1 |
10 years ago
|
|
|
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
|
|
|
3693
|
|
|
CI bot |
7.1.2+14.04.20140228-0ubuntu1 |
10 years ago
|
|
|
3692
|
|
|
Stephen M. Webb |
|
10 years ago
|
|
|
3691
|
|
|
Chris Townsend |
|
10 years ago
|
|
|
3690
|
|
|
Chris Townsend |
|
10 years ago
|
|
|
3689
|
|
|
Chris Townsend |
|
10 years ago
|
|
|
3688
|
|
|
Chris Townsend |
|
10 years ago
|
|
|
3687
|
|
|
Chris Townsend |
|
10 years ago
|
|
|
3686
|
|
|
CI bot |
7.1.2+14.04.20140225-0ubuntu1 |
10 years ago
|
|
|
3685
|
|
|
Marco Trevisan (Trev... |
|
10 years ago
|
|
|
3684
|
|
|
Chris Townsend |
|
10 years ago
|
|
|