joeri
0 followers · 0 following
  • Joined on 2024-12-19
Repositories
4
 Projects Packages Public activity Starred repositories
joeri pushed to master at research/statebuddy 2025-10-19 18:02:02 +02:00
f992dcb5f6 readme
joeri pushed to master at research/statebuddy 2025-10-19 17:02:16 +02:00
09eb4d6982 enhance the greeter
joeri pushed to master at research/statebuddy 2025-10-19 16:44:55 +02:00
56ccfa3a30 add favicon
joeri pushed to master at research/statebuddy 2025-10-19 16:36:49 +02:00
4145619aab readme
joeri pushed to master at research/statebuddy 2025-10-19 16:36:12 +02:00
4a264b1dd4 logo
joeri pushed to master at research/statebuddy 2025-10-19 15:15:09 +02:00
5bd886b930 add check
joeri pushed to master at research/statebuddy 2025-10-19 15:11:56 +02:00
5e60b3dc95 toolbar button to undo last step
joeri pushed to master at research/statebuddy 2025-10-19 14:15:22 +02:00
59d5e9913a more keyboard shortcuts
joeri pushed to master at research/statebuddy 2025-10-19 13:53:50 +02:00
9ce55e0264 ability to display keyboard shortcuts in top bar
joeri pushed to master at research/statebuddy 2025-10-19 12:30:59 +02:00
373e26dc1b fix: sometimes entering default state would not highlight initial state marker
joeri pushed to master at research/statebuddy 2025-10-19 11:52:01 +02:00
22fbe70a60 use browser's builtin compression streams API instead of LZ4 package
joeri pushed to master at research/statebuddy 2025-10-19 11:27:37 +02:00
a10bf9acc8 highlight fired transitions
joeri pushed to master at research/statebuddy 2025-10-18 22:43:56 +02:00
b8bc977a8e better looking simulation
joeri pushed to master at research/statebuddy 2025-10-18 16:40:01 +02:00
f80086727c better looking active states + always scroll to latest event
joeri pushed to master at research/statebuddy 2025-10-17 16:55:38 +02:00
12e211f358 ...
joeri pushed to master at research/statebuddy 2025-10-17 16:48:44 +02:00
c07489080a history seems to be working
b55cba198e parser and editor use same code for figuring out what is connected to what
Compare 2 commits »
joeri pushed to master at research/statebuddy 2025-10-17 13:37:45 +02:00
6dc7a2e9a7 fix css
joeri pushed to master at research/statebuddy 2025-10-17 13:31:08 +02:00
28071eb1f3 can draw history states
joeri pushed to master at research/statebuddy 2025-10-17 11:34:54 +02:00
e8fda9bdf0 editor: better rendering of helper outlines
joeri pushed to master at research/statebuddy 2025-10-16 17:21:33 +02:00
9401c02800 small changes