poire-z e5206922c6
[UX] Normalize SpinWidget and DoubleSpinWidget ...
- Use same names for options;
- Have them both movable
- Add option to keep widget shown on Apply (and use that
when appropriate: when the value may have an immediate
visual effect, so one can tweak it without having to
go thru menus to re-open it again).
2020-05-09 23:29:49 +02:00
2020-02-12 23:05:18 +01:00
2020-04-25 09:03:19 +02:00
2020-01-23 19:26:07 +01:00
2020-05-07 20:24:12 +02:00
2019-09-26 11:46:23 +02:00
2019-11-11 10:05:28 +01:00
2019-12-08 15:10:51 +01:00
2019-12-08 15:10:51 +01:00
2020-05-07 20:24:12 +02:00
2020-02-24 23:36:13 +01:00
2020-02-15 12:23:22 +01:00
2020-05-09 23:29:49 +02:00
2020-02-13 09:43:10 +01:00
2019-10-21 15:20:40 +02:00
2020-03-15 19:19:47 +01:00
2019-12-08 15:10:51 +01:00
2019-12-08 15:10:51 +01:00
2019-08-23 19:48:55 +02:00
2020-02-03 20:08:18 +01:00
2019-04-18 23:26:53 +02:00
2019-08-23 19:53:53 +02:00
2019-12-08 15:10:51 +01:00
2019-12-08 15:10:51 +01:00
2019-11-18 20:51:08 +01:00
2020-01-23 19:26:07 +01:00
2019-08-26 15:49:50 +02:00
2019-12-08 15:10:51 +01:00
2020-01-06 11:59:17 +01:00
2020-01-04 01:34:46 +01:00
2019-10-25 17:25:26 +02:00
2019-12-08 15:10:51 +01:00
2020-01-04 01:34:46 +01:00
2019-11-29 23:45:12 +01:00
2020-03-20 09:18:16 +01:00
2020-02-12 23:05:18 +01:00
2020-03-06 21:10:01 +01:00
2019-12-08 15:10:51 +01:00
2019-11-19 17:21:42 +01:00
2020-04-22 09:07:48 +02:00
2019-12-08 15:10:51 +01:00
2019-12-08 15:10:51 +01:00
2020-01-04 01:34:46 +01:00
2020-05-09 23:29:49 +02:00
2020-04-25 23:30:49 +02:00
2019-12-08 15:10:51 +01:00
2020-04-25 23:30:49 +02:00
2019-10-27 18:30:39 +01:00
2019-12-08 15:10:51 +01:00
2020-04-13 19:24:28 +02:00
2019-10-21 15:20:40 +02:00
2019-12-08 15:10:51 +01:00
2020-01-28 00:05:16 +01:00
e5206922c6