Michael Gregorius 1b2b42fd1c
Get rid of initial scroll bars ...
Make sure that the widget is shown without a scrollbar whenever possible
using the following rules.
If the widget fits on the workspace we use the height of the widget as
the minimum size of the scroll area. This will ensure that the scrollbar
is not shown initially (and never will be).
If the widget is larger than the workspace then we want it to mostly
cover the workspace. In that case the minimum height is set to 90 % of
the workspace.
2023-07-16 15:45:36 +02:00
2022-12-30 22:18:14 +00:00
2023-01-01 18:53:30 +09:00
2022-12-30 22:18:14 +00:00
2022-12-30 22:18:14 +00:00
2022-09-14 19:27:53 +02:00
2023-06-05 16:22:05 -04:00
2022-06-23 12:20:05 +01:00
2022-06-23 12:20:05 +01:00
2022-12-30 22:18:14 +00:00
2022-09-14 19:27:53 +02:00
2022-12-30 22:18:14 +00:00
2023-04-05 21:08:24 -07:00
2022-12-30 22:18:14 +00:00
2022-12-30 22:18:14 +00:00
2023-06-26 17:23:47 -07:00
2022-12-31 14:40:07 +01:00
2023-07-02 12:28:40 +09:00
2022-09-27 09:27:35 +01:00
2022-09-14 19:27:53 +02:00
2022-09-14 19:27:53 +02:00
2023-01-18 10:16:28 +09:00
2023-07-16 15:45:36 +02:00
2022-09-27 09:27:35 +01:00
2023-02-21 21:03:00 +01:00
2023-02-21 21:03:00 +01:00
2022-12-30 22:18:14 +00:00
2023-04-25 11:06:15 -07:00
2022-12-30 22:18:14 +00:00
2022-09-14 19:27:53 +02:00
2022-09-14 19:27:53 +02:00
2022-12-30 22:18:14 +00:00
2022-12-30 22:18:14 +00:00
2022-12-30 22:18:14 +00:00
2022-09-14 19:27:53 +02:00
2022-12-30 22:18:14 +00:00
2023-06-04 22:44:48 -05:00
2022-09-27 09:27:35 +01:00
2023-06-08 17:15:53 +02:00
2022-12-30 22:18:14 +00:00
2022-12-30 22:18:14 +00:00
2022-09-14 19:27:53 +02:00
2022-09-19 14:46:38 +01:00
2022-12-30 22:18:14 +00:00
2022-09-14 19:27:53 +02:00
2022-12-30 22:18:14 +00:00
2022-09-14 19:27:53 +02:00
2023-02-23 23:31:07 +01:00
2022-12-30 22:18:14 +00:00
2022-09-14 19:27:53 +02:00
2022-12-30 22:18:14 +00:00
2023-02-26 15:51:24 +01:00
2023-01-02 23:42:46 +00:00
2021-09-17 18:23:01 +02:00
1b2b42fd1c