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-12-19 14:49:18 +01:00
2021-01-10 01:51:09 +01:00
2020-12-20 20:47:40 +01:00
2021-01-10 01:51:09 +01:00
2021-01-12 00:34:30 +01:00
2021-01-02 11:50:32 +01:00
2021-01-10 01:14:48 +01:00
2021-01-12 00:34:30 +01:00
2020-10-05 16:34:46 +02:00
2020-09-18 18:09:54 +02:00
2020-12-20 20:47:40 +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
2021-01-10 01:51:09 +01:00
2020-12-19 14:49:18 +01: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-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
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
2020-11-18 18:28:47 +01:00
2021-01-12 00:34:30 +01:00
2021-01-10 01:51:09 +01:00
2020-08-26 23:43:10 +02:00
2020-10-31 09:36:24 +01:00
b92c078e9c