5 commits

Author	SHA1	Message	Date
Héctor Ramón Jiménez	2026048053	Remove hardcoded HiDPI scaling	2019-11-06 02:47:01 +01:00
Matthias Fauconneau	1e021fd034	Fix Tour for HiDPI (stub)	2019-11-06 02:43:38 +01:00
Héctor Ramón Jiménez	96acb74bda	Fix checkbox border radius	2019-11-05 20:43:09 +01:00
Héctor Ramón Jiménez	b68ac3aa47	Merge branch 'master' into feature/performance-metrics	2019-11-05 03:43:54 +01:00
Héctor Ramón Jiménez	ef056d8489	Move Target to its own module	2019-11-02 20:20:35 +01:00