Igor Bochkariov df3b294fc3
UI: allow side docks to be tall ...
before: widgets docked on the sides of the preview are of the height of
the preview
after: the user can toggle the setting in the docks menu so the side
widgets are of the height of the whole window
UI: change menu label to Full-height docks
2023-06-04 09:39:47 +10:00
2022-07-31 20:23:19 +10:00
2022-08-20 16:46:02 -07:00
2023-03-18 15:51:05 -07:00
2017-05-08 02:12:03 -07:00
2022-03-20 10:32:45 +11:00
2022-07-18 14:52:26 -07:00
2017-05-08 02:12:03 -07:00
2017-05-08 02:12:03 -07:00
2022-08-24 20:42:40 +10:00
2022-08-20 16:46:02 -07:00
2021-08-17 02:08:28 -04:00
2022-06-18 23:13:13 +10:00
2023-06-04 09:39:47 +10:00
2023-06-03 11:53:36 -07:00
2021-08-17 04:25:20 -04:00
2022-08-30 18:36:04 +10:00
2023-05-13 16:49:26 -07:00
2016-08-27 20:19:45 -07:00
2023-03-26 10:55:16 +11:00
2023-05-30 16:16:07 -07:00
2022-08-30 18:36:04 +10:00
2022-08-30 18:36:04 +10:00
2020-04-07 20:43:12 +10:00
2022-08-30 18:36:04 +10:00
2022-08-30 21:00:20 -04:00
2022-07-31 18:14:41 +02:00
2022-08-30 18:36:04 +10:00
2021-08-17 05:44:29 -04:00
2023-01-13 10:50:36 -08:00
2022-03-20 11:09:21 +11:00
df3b294fc3