Patrik Svensson 54be64ec84
Add JSON text renderer (#1086)
* Add JsonText widget to render highlighted JSON

Closes #1051
2022-12-31 18:17:15 +00:00
..
2022-11-15 10:12:17 +01:00
2022-09-26 23:32:57 -04:00
2022-11-15 10:12:17 +01:00
2022-12-31 18:17:15 +00:00
2021-12-23 16:50:31 +01:00
2021-12-23 16:50:31 +01:00
2021-12-23 16:50:31 +01:00
2021-12-23 16:50:31 +01:00
2022-02-04 10:30:09 +01:00
2021-12-23 16:50:31 +01:00
2022-11-10 12:01:13 +01:00