poire-z b92c078e9c
ConfigDialog: temporarily hide when showing SpinWidgets ...
Hide bottom panel when showing a SpinWidget, so we gain
on the bottom the space covered by the SpinWidget to see
more how a change is affecting the book text.
For clarity, rename delay_repaint & refresh_callback
to hide_on_apply & when_applied_callback.
Normalize SpinWidgets: have them both accept a
cancel_callback and a close_callback.
InfoMessage: call dissmiss_callback also on timeout.
2021-01-12 00:34:30 +01:00
2020-12-31 13:28:08 +01:00
2020-04-25 09:03:19 +02:00
2020-12-19 14:49:18 +01:00
2021-01-10 01:51:09 +01:00
2020-06-13 01:56:36 +02:00
2020-06-13 01:56:36 +02:00
2020-12-20 20:47:40 +01:00
2019-11-11 10:05:28 +01:00
2021-01-10 01:51:09 +01:00
2019-12-08 15:10:51 +01:00
2019-12-08 15:10:51 +01:00
2021-01-12 00:34:30 +01:00
2021-01-02 11:50:32 +01:00
2020-06-13 01:56:36 +02:00
2021-01-10 01:14:48 +01:00
2021-01-12 00:34:30 +01:00
2017-05-16 02:11:11 -07:00
2020-10-05 16:34:46 +02:00
2019-10-21 15:20:40 +02:00
2020-06-27 08:43:28 +02:00
2020-09-18 18:09:54 +02:00
2020-12-20 20:47:40 +01:00
2019-12-08 15:10:51 +01:00
2014-03-13 21:52:43 +08:00
2019-03-03 13:10:45 +01:00
2021-01-10 01:51:09 +01:00
2020-12-20 20:45:55 +01:00
2020-12-19 04:16:51 +01:00
2021-01-10 01:51:09 +01:00
2021-01-12 00:34:30 +01:00
2021-01-12 00:34:30 +01:00
2021-01-12 00:34:30 +01:00
2020-09-15 20:39:32 +02:00
2021-01-10 01:51:09 +01:00
2019-08-26 15:49:50 +02:00
2019-03-14 20:58:45 +01:00
2019-12-08 15:10:51 +01:00
2020-06-13 01:56:36 +02:00
2021-01-10 01:51:09 +01:00
2020-12-19 14:49:18 +01:00
2020-06-13 01:56:36 +02:00
2020-12-20 20:47:40 +01:00
2020-12-21 18:48:33 +01:00
2021-01-12 00:34:30 +01:00
2020-11-28 17:18:57 +01:00
2020-12-24 15:37:19 +01:00
2020-08-29 20:07:26 +02:00
2020-02-12 23:05:18 +01:00
2020-03-06 21:10:01 +01:00
2019-03-14 20:58:45 +01:00
2020-11-18 18:28:47 +01:00
2020-11-04 18:59:39 +01:00
2020-11-04 18:59:39 +01:00
2021-01-10 01:51:09 +01:00
2020-08-29 20:07:26 +02:00
2014-03-13 21:52:43 +08:00
2019-02-08 18:31:40 +01:00
2020-04-22 09:07:48 +02:00
2021-01-10 01:14:48 +01:00
2021-01-10 01:14:48 +01:00
2020-10-05 18:22:47 +02:00
2021-01-12 00:34:30 +01:00
2020-11-18 18:28:47 +01:00
2019-12-08 15:10:51 +01:00
2020-11-18 18:28:47 +01:00
2020-06-13 01:56:36 +02:00
2021-01-12 00:34:30 +01:00
2021-01-10 01:51:09 +01:00
2019-10-21 15:20:40 +02:00
2019-12-08 15:10:51 +01:00
2020-08-26 23:43:10 +02:00
2014-03-13 21:52:43 +08:00
2020-10-31 09:36:24 +01:00
2016-12-25 12:13:53 -08:00
b92c078e9c