poire-z
2fc8076139
Better vertical centering of text in its box
...
Decide baseline vertical position according to font metrics, instead
of the hardcoded 0.7 (in textwidget, which made the text a little
bit up in its box), and 0.75 (in toggleswitch, which made the text a
little bit down in its box). This usually gives a value around 0.72
or 0.73 with our ui fonts, which looks about right.
ReaderFooter: add bottom padding, now that our text goes a few pixels lower
2017-10-08 20:44:11 +02:00
..
2017-09-23 20:24:45 +02:00
2017-09-23 20:24:45 +02:00
2017-09-23 20:24:45 +02:00
2017-09-23 20:24:45 +02:00
2017-09-23 20:24:45 +02:00
2017-09-23 20:24:45 +02:00
2017-10-07 12:11:00 +02:00
2017-08-20 11:44:15 +02:00
2017-08-20 11:44:15 +02:00
2017-04-29 03:01:38 -07:00
2017-09-27 18:15:11 +02:00
2017-09-23 20:24:45 +02:00
2017-09-23 20:24:45 +02:00
2017-10-07 15:23:39 +02:00
2017-05-16 02:11:11 -07:00
2017-04-29 03:01:38 -07:00
2014-11-02 21:19:04 +01:00
2017-10-07 12:11:00 +02:00
2017-09-23 20:24:45 +02:00
2017-08-18 11:43:46 +02:00
2014-03-13 21:52:43 +08:00
2017-09-28 21:26:16 +02:00
2017-10-02 08:28:09 +02:00
2017-09-26 10:21:58 +02:00
2017-10-07 15:23:39 +02:00
2017-09-23 20:24:45 +02:00
2017-08-20 21:39:00 +02:00
2017-10-01 14:28:12 +02:00
2017-04-29 11:41:24 -07:00
2017-09-23 20:24:45 +02:00
2017-09-23 20:24:45 +02:00
2017-09-23 20:24:45 +02:00
2017-09-24 01:08:44 +02:00
2017-09-23 20:24:45 +02:00
2017-09-23 20:24:45 +02:00
2017-09-23 20:24:45 +02:00
2017-09-23 20:24:45 +02:00
2017-09-24 13:03:14 +02:00
2017-05-15 21:48:18 -07:00
2017-08-18 11:43:46 +02:00
2016-01-02 23:45:23 -08:00
2017-09-23 20:24:45 +02:00
2017-09-23 20:24:45 +02:00
2014-03-13 21:52:43 +08:00
2016-01-03 00:47:44 -08:00
2017-09-23 20:24:45 +02:00
2017-09-23 20:24:45 +02:00
2017-09-23 20:24:45 +02:00
2017-10-08 20:44:11 +02:00
2017-09-24 13:03:14 +02:00
2017-10-08 20:44:11 +02:00
2017-09-27 18:15:11 +02:00
2017-08-18 11:43:46 +02:00
2017-09-23 20:24:45 +02:00
2014-03-13 21:52:43 +08:00
2017-09-23 20:24:45 +02:00
2016-12-25 12:13:53 -08:00