Commit Graph

1049 Commits

Author SHA1 Message Date
04142dbbbc Added check for documentation links 2023-12-17 13:13:39 +02:00
84955cb355 Merge branch 'drawing' 2023-12-17 00:23:38 +02:00
117bc020e7 Added gradients and smiley function 2023-12-16 23:14:58 +02:00
1f06e855d1 add credits 2023-12-16 21:50:09 +01:00
ff333a0526 Loading indicator 2023-12-16 21:45:59 +01:00
13360faf0c sample loading logic 2023-12-16 21:35:58 +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
88358e1254 fix Function key theming 2023-12-16 17:28:42 +01:00
07df2a8bdc Merge branch 'main' of github.com:Bubobubobubobubo/Topos 2023-12-16 17:14:31 +01:00
a7b8a846c0 correction for tab theme 2023-12-16 17:14:25 +01:00
e7129585b1 Added nextTheme() method 2023-12-16 15:32:10 +02:00
5eb4f29120 Fix timeviewer 2023-12-16 14:21:07 +01:00
4156c0d399 mysterious commit 2023-12-16 14:13:41 +01:00
cb882bdbaf Merge pull request #104 from Bubobubobubobubo/new-theming
New theming
2023-12-16 13:56:20 +01:00
57fe8a4824 Merge branch 'main' into new-theming 2023-12-16 13:56:02 +01:00
8739c3b9b6 small selection fix 2023-12-16 13:44:12 +01:00
81beb352e1 Merge branch 'new-theming' of https://github.com/Bubobubobubobubo/Topos into new-theming 2023-12-16 14:36:46 +02:00
b5f9bf05f3 Add getThemes() method 2023-12-16 14:36:43 +02:00
6354a137c9 fixing sample boxes 2023-12-16 13:30:24 +01:00
e1d70f2e58 Fix hover for known universes 2023-12-16 13:22:05 +01:00
0a3aca69cc minor improvement 2023-12-16 13:20:34 +01:00
78cbc3ac19 fix color dim 2023-12-16 13:17:47 +01:00
c140c1d3e1 cosmetic fixes 2023-12-16 13:11:31 +01:00
915d83e69e change code examples button font color 2023-12-16 13:04:51 +01:00
09a7295f18 attributing a new default theme 2023-12-16 13:01:24 +01:00
f21faa3798 fix default theme 2023-12-16 12:56:28 +01:00
ee732420d6 weird ziffers import 2023-12-16 12:51:14 +01:00
da656d1adf fix warnings 2023-12-16 12:47:44 +01:00
a53f465792 last tweak 2023-12-16 12:44:34 +01:00
3663cc43f5 Added ctx to draw methods 2023-12-16 13:41:56 +02:00
e288ecb316 theming code buttons 2023-12-16 12:17:06 +01:00
175bd97c24 more theming in documentation panes 2023-12-16 12:13:14 +01:00
255b35240e sync 2023-12-16 11:48:40 +01:00
02d8863039 Updated generator docs 2023-12-16 03:35:24 +02:00
8f463097bc Documented generators and fixed some bugs 2023-12-16 03:05:47 +02:00
932c8cb6ca Colors are slightly better in the editor 2023-12-16 02:00:37 +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
427a6e470f small progress 2023-12-15 22:42:06 +01:00
17e30a506e more correct colors 2023-12-15 21:32:38 +01:00
6ccd4936f3 Fix for docs 2023-12-15 22:30:21 +02:00
cad9fdbb40 Added some drawing methods 2023-12-15 22:13:22 +02:00
278ab026cd big theme refactoring has begun 2023-12-15 21:00:39 +01: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
969e3db499 yes yes yes 2023-12-15 17:04:47 +01:00
fb4d311ba8 slow and tedious progress 2023-12-15 16:56:54 +01:00
32ae67b2c6 writing some very shady logic 2023-12-15 16:15:18 +01:00
0883e26f21 attributing random colors to everything 2023-12-15 16:00:46 +01:00