Commit Graph

21 Commits

Author SHA1 Message Date
ad6f8a5e91 HTML links should stand out in the documentation 2023-12-17 20:20:35 +01:00
16c4117c5a Merge pull request #106 from Bubobubobubobubo/import-samples
Import samples
2023-12-17 13:32:21 +01:00
ff333a0526 Loading indicator 2023-12-16 21:45:59 +01:00
29617fb0f2 Merge branch 'main' of https://github.com/Bubobubobubobubo/Topos 2023-12-16 20:19:52 +02:00
9bab06ad2a Beginning work on sample import 2023-12-16 17:46:55 +01:00
175bd97c24 more theming in documentation panes 2023-12-16 12:13:14 +01:00
46d4562012 looking better 2023-12-16 01:49:03 +01:00
96959e7b8f slightly better again 2023-12-16 01:27:32 +01:00
cad9fdbb40 Added some drawing methods 2023-12-15 22:13:22 +02:00
94c1574d96 semantic color naming 2023-12-15 19:48:42 +01:00
69c5b00b1f ui element for theme switching 2023-12-15 17:31:14 +01:00
d717fc8410 Add code documentation 2023-11-26 13:32:38 +01:00
eb8ef879e7 Rewrite part of evaluation logic, run prettier 2023-11-26 01:49:34 +01:00
ddc17d28a9 fix typing and build errors 2023-11-18 21:18:25 +01:00
d69ab7a75a Push current state of documentation refactoring 2023-11-08 14:21:44 +01:00
cfa59597fe fix for deployment 2023-11-05 19:37:51 +01:00
086fe54c72 Folding now possible in documentation 2023-11-05 19:17:36 +01:00
32368f73ca Add option to turn it on/off 2023-10-29 23:09:09 +01:00
b2f77b3b38 adding another canvas 2023-10-22 23:28:08 +02:00
094fb57049 adding new canvas for feedback 2023-10-22 15:56:42 +02:00
1f96799a9c Refactoring: cleaning up main.ts file 2023-10-21 15:01:50 +02:00