Jonas Jenwald
eb36fd375c
Move the debuggerSrc
-parameter into the AppOptions
...
Having this parameter among a list of DOM-elements seems slightly strange now, however this is very old code hence the explanation for why this was done is for historical reasons (as is often the case).
Hence we can simply move this into `AppOptions` instead, which seems more appropriate overall.
2024-01-28 18:47:51 +01:00
..
2024-01-26 18:17:05 +01:00
2015-01-26 16:44:45 +01:00
2023-10-02 20:34:30 +02:00
2024-01-26 18:17:05 +01:00
2023-11-28 14:21:53 +01:00
2024-01-24 22:04:39 +01:00
2024-01-18 19:44:21 +01:00
2023-10-22 14:17:47 +02:00
2024-01-28 18:47:51 +01:00
2024-01-28 18:47:51 +01:00
2023-11-03 13:26:36 +01:00
2015-08-14 18:59:55 +02:00
2024-01-27 12:07:15 +01:00
2011-07-05 10:53:57 -07:00
2024-01-26 18:31:38 +01:00
2023-10-09 12:06:33 +02:00
2023-10-17 10:18:34 +02:00
2024-01-18 16:26:04 +01:00
2023-11-28 14:21:53 +01:00
2023-04-23 15:41:02 +02:00
2024-01-27 12:07:15 +01:00
2023-04-14 10:02:28 +02:00
2024-01-27 13:12:54 +01:00
2023-10-15 11:38:10 +02:00
2024-01-27 12:07:15 +01:00
2023-11-14 16:09:05 +01:00
2023-06-29 13:16:10 +02:00
2023-10-25 17:38:02 +02:00
2023-11-24 13:05:57 +01:00
2023-11-13 21:06:03 +01:00
2023-06-21 13:13:53 +02:00
2023-10-22 14:17:47 +02:00
2023-10-17 10:18:34 +02:00
2023-06-28 12:43:36 +02:00
2024-01-21 16:20:55 +01:00
2023-10-24 13:17:02 +02:00
2024-01-21 16:20:55 +01:00
2023-04-17 14:31:23 +02:00
2022-04-05 14:13:20 +02:00
2023-10-25 17:38:02 +02:00
2024-01-21 10:13:12 +01:00
2023-10-17 10:18:34 +02:00
2024-01-18 19:44:21 +01:00
2023-07-11 22:34:20 +02:00
2023-10-22 14:17:47 +02:00
2023-05-30 21:24:19 +02:00
2024-01-21 10:13:12 +01:00
2023-12-09 14:29:31 +01:00
2023-12-19 10:01:16 +01:00
2022-09-08 12:38:17 +02:00
2023-10-22 14:17:47 +02:00
2023-10-22 14:17:47 +02:00
2023-07-16 08:51:46 +02:00
2024-01-25 09:43:20 +01:00
2024-01-18 19:44:21 +01:00
2023-12-05 23:27:22 +01:00
2023-10-31 15:32:01 +01:00
2023-10-26 12:05:33 +02:00
2023-12-26 11:03:07 +01:00
2023-08-31 16:29:10 +02:00
2023-09-21 12:51:34 +02:00
2023-10-19 13:51:00 +02:00
2023-09-07 18:22:33 +02:00
2023-04-17 14:31:23 +02:00
2024-01-26 18:17:05 +01:00
2024-01-04 19:20:20 +01:00
2023-10-22 14:17:47 +02:00
2023-12-26 10:57:02 +01:00
2024-01-21 10:13:12 +01:00
2020-03-21 13:55:06 +01:00
2023-10-06 09:50:03 +02:00
2024-01-28 16:51:28 +01:00
2024-01-28 16:51:28 +01:00
2023-10-19 11:20:41 +02:00
2022-03-28 11:36:29 +02:00
2023-10-07 09:31:08 +02:00
2023-10-19 11:20:41 +02:00
2023-12-19 10:01:16 +01:00
2024-01-28 16:51:28 +01:00
2024-01-28 18:47:51 +01:00
2023-10-06 09:50:03 +02:00
2023-10-26 12:05:33 +02:00