Files
create/src/Gui
wmayer 763aa21e8c Gui: several minor improvements:
* replace C array with std::array
* use range-based loop
* activate the first of tabified dock widgets
* refactor DockWindowManager::setup
2023-09-30 17:33:33 +02:00
..
2023-09-09 17:50:51 +02:00
2023-09-29 22:57:37 -05:00
2023-09-14 20:53:04 -05:00
2023-08-08 21:10:16 +02:00
2023-05-22 15:21:40 +02:00
2023-08-04 17:09:53 +02:00
2023-09-14 13:24:24 +02:00
2023-09-14 13:24:24 +02:00
2023-09-01 13:28:19 +02:00
2023-09-14 13:24:24 +02:00
2023-07-15 11:17:45 +02:00
2023-04-24 12:59:12 +02:00
2023-08-08 11:12:48 +02:00
2023-08-07 19:51:15 -06:00
2023-08-04 17:09:53 +02:00
2023-04-05 00:44:13 +02:00
2023-08-05 11:23:12 -06:00
2023-07-15 11:17:45 +02:00
2023-07-15 11:17:45 +02:00
2023-08-04 17:09:53 +02:00
2023-08-04 19:46:12 +02:00
2023-04-13 01:12:56 +02:00