Jon Eugster 1ab50710f5 fix: update rules slider on erasing progress #157

2023-12-14 21:24:08 +01:00

..

infoview

remove consequtive identical hints #142

2023-12-09 13:27:03 +01:00

popup

cleanup app_bar.tsx

2023-10-23 21:07:33 +02:00

app_bar.tsx

Adjust the top navigation bar so that it is centered above and below

2023-12-12 19:29:21 +08:00

button.tsx

fix inverted attribute

2023-07-16 23:09:32 +02:00

error_page.tsx

refactor

2023-07-05 14:54:06 +02:00

hints.tsx

do not filter hidden hints #142

2023-12-09 22:06:12 +01:00

inventory.tsx

fix: persistent lemma tab #144

2023-12-14 21:14:42 +01:00

landing_page.tsx

update landing page

2023-12-08 03:16:26 +01:00

level.tsx

remove consequtive identical hints #142

2023-12-09 13:27:03 +01:00

markdown.tsx

refactor

2023-07-05 14:54:06 +02:00

message.tsx

refactor

2023-07-05 14:54:06 +02:00

welcome.tsx

cleanup app_bar.tsx

2023-10-23 21:07:33 +02:00

world_tree.tsx

fix: update rules slider on erasing progress #157

2023-12-14 21:24:08 +01:00