David Smith
0b9d83fe0d
Profiler: Fix unmovable splitter
...
Set preferred height instead of fixed height to allow the splitter to
move.
The splitter respects set_fixed_height() after a808cfa7 "LibGUI+
Applications: Govern Splitter resizing by opportunistic growth", and
that caused the splitter in Profiler to stop working.
2022-08-16 16:53:24 +02:00
..
2022-03-05 21:47:01 +01:00
2022-07-12 23:11:35 +02:00
2022-02-16 07:33:15 -05:00
2022-07-12 23:11:35 +02:00
2022-03-05 21:47:01 +01:00
2022-08-04 02:52:39 +02:00
2022-08-04 02:52:39 +02:00
2021-12-28 23:17:24 +01:00
2021-12-28 23:17:24 +01:00
2022-02-16 07:33:15 -05:00
2022-02-16 07:33:15 -05:00
2022-07-12 23:11:35 +02:00
2022-05-07 20:02:00 +02:00
2021-12-28 23:17:24 +01:00
2022-07-12 23:11:35 +02:00
2022-03-05 21:47:01 +01:00
2022-07-12 23:11:35 +02:00
2022-05-07 20:21:51 +02:00
2022-07-12 23:11:35 +02:00
2022-02-16 07:33:15 -05:00
2022-02-16 07:33:15 -05:00
2022-02-16 07:33:15 -05:00
2022-07-12 23:11:35 +02:00
2022-08-16 16:53:24 +02:00
2022-02-16 07:33:15 -05:00
2022-02-16 07:33:15 -05:00
2022-02-16 07:33:15 -05:00
2022-03-24 14:35:47 +01:00
2022-02-16 07:33:15 -05:00
2022-02-16 07:33:15 -05:00
2022-02-16 07:33:15 -05:00