Lukas Winkler 46388002f5 autocomplete names in the editor		2024-08-07 23:37:26 +02:00
..
colortheme	fix color theme by loading regular js in the head	2023-07-09 20:18:09 +02:00
js	autocomplete names in the editor	2024-08-07 23:37:26 +02:00
scss	images in tooltips	2024-01-06 01:03:39 +01:00
types	fix types	2024-01-06 01:05:03 +01:00
main.ts	autocomplete names in the editor	2024-08-07 23:37:26 +02:00