|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
69cd462c68
|
Write the logic template for updating themes
|
2023-12-15 15:49:33 +01:00 |
|
|
|
eb103dbebd
|
remove as much colors as possible
|
2023-12-15 15:37:59 +01:00 |
|
|
|
eb5e1fb384
|
colors are detected but not applied
|
2023-12-15 15:16:05 +01:00 |
|
|
|
2e548b83f0
|
temp commit
|
2023-12-15 14:42:13 +01:00 |
|
|
|
c282cb0c47
|
align
|
2023-12-15 14:20:23 +01:00 |
|
|
|
0873340ec9
|
broken as always
|
2023-12-15 14:18:12 +01:00 |
|
