phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
856 Commits 19 Branches 10 Tags
e76e28776397c1fe0ba14f84ffdb41db1c4dfd9a
Commit Graph
374 Commits
Author SHA1 Message Date
Jon Eugster e76e287763 fix: persistent lemma tab #144 2023-12-14 21:14:42 +01:00
Jon Eugster 5fd49abb90 improve hover text for inventory items #144 2023-12-14 21:05:37 +01:00
Jon Eugster aec196deff add button to copy inventory item name to clipboard #144 2023-12-14 20:26:31 +01:00
Jon Eugster 93c55dc9f7 Merge pull request #167 from Wzixiao/home-button-margin 
Adjust the margin of the home button.
 2023-12-12 13:43:21 +01:00
Jon Eugster aab7441323 Merge pull request #166 from Wzixiao/app-bar-align-center 
Adjust the top navigation bar to center both the Home button and some divs on the right.
 2023-12-12 13:42:00 +01:00
ran 2ba36b91d5 Adjust the margin of the home button 2023-12-12 19:51:20 +08:00
ran a2726ae287 Adjust the top navigation bar so that it is centered above and below 2023-12-12 19:29:21 +08:00
Jon Eugster 25f166f57f do not filter hidden hints #142 2023-12-09 22:06:12 +01:00
Jon Eugster c89e2e4020 remove consequtive identical hints #142 2023-12-09 13:27:03 +01:00
Jon Eugster a1a6862b5a add tmp option to test images 2023-12-08 10:18:00 +01:00
Jon Eugster 0a057913be update landing page 2023-12-08 03:16:26 +01:00
Jon Eugster 8c84d3fae7 Merge branch 'dev' 2023-12-08 01:54:02 +01:00
Jon Eugster 0e652256f8 Revert "update lean4web dependency" 
This reverts commit 6bced7575b.
 2023-12-08 00:51:28 +01:00
Jon Eugster 54bab2a016 add support for images 2023-12-08 00:39:45 +01:00
Jon Eugster 0964a06f2f Merge pull request #159 from Wzixiao/cache-typewriter-mode 
Add the function of caching typewriterMode
 2023-12-07 16:00:19 +01:00
ran b17c8fc4cb remove \n in progress.ts 211 line 2023-12-07 21:45:47 +08:00
ran 0c4ae92856 Optimize the typewriterMode code logic about the game 2023-12-07 21:43:50 +08:00
ran 088711b5d1 Use 'progress' to construct the processing flow of typewriterMode 2023-12-07 21:38:15 +08:00
ran aa00e359c4 Add the function of caching typewriterMode 2023-12-07 15:06:58 +08:00
joneugster d7fd8709cb fix inventory sorting #158 2023-12-07 02:27:24 +01:00
joneugster 7a03c4fe0d move landing page tiles to the games 2023-12-06 18:21:37 +01:00
Alexander Bentkamp 6bced7575b update lean4web dependency 2023-12-01 11:32:17 +01:00
Alexander Bentkamp d18b48db2f make json files directly accessible 2023-11-30 20:55:03 +01:00
joneugster 472e2c66df remove old-nng tile 2023-11-30 20:29:47 +01:00
Alexander Bentkamp bae360874c json api 2023-11-30 10:51:03 +01:00
Alexander Bentkamp a57a5af111 also display loading of constants 2023-11-28 14:53:05 +01:00
Alexander Bentkamp 244c373192 model.dispose() 2023-11-28 14:05:15 +01:00
Alexander Bentkamp f6727e5c9f loading progress 2023-11-28 11:43:32 +01:00
joneugster 1d2420331d make URL case insensitive 2023-11-28 11:05:50 +01:00
joneugster 4db5260ed8 shrink nng image 2023-11-20 12:31:37 +01:00
joneugster 04c70ba522 fix for STG on landing page 2023-11-18 12:12:19 +01:00
joneugster 1b3993ad3e fix 2023-11-17 22:45:02 +01:00
joneugster 45a95bbdc4 update landing page 2023-11-17 22:27:29 +01:00
joneugster c706b66af1 update doc to use -K option for local setup 2023-11-14 21:52:23 +01:00
joneugster 6f92d61381 fix redirect from landing page in dev container #145 2023-11-09 15:26:53 +01:00
joneugster 3d97cff0f4 change to vite 2023-11-08 09:30:59 +01:00
Alexander Bentkamp 7e0b82cb14 better handling of breaking connection 2023-10-31 15:34:54 +01:00
joneugster c2b5754371 Merge branch 'refactor' 2023-10-27 14:05:25 +02:00
joneugster d1cd0f80fd refactor app_bar 2023-10-27 14:03:25 +02:00
joneugster d52d63020c fix dropdown on safari 2023-10-27 14:00:54 +02:00
Pietro Monticone 9b8e84cc9c Update landing_page.tsx 2023-10-26 17:24:49 +02:00
joneugster 5c41d5c83c Merge branch 'main' into refactor 2023-10-24 11:39:50 +02:00
joneugster 8e4c993bd7 fix Exercise statement 2023-10-24 09:39:32 +02:00
joneugster 787d010b6c cleanup app_bar.tsx 2023-10-23 21:07:33 +02:00
joneugster e740027144 move css files 2023-10-23 18:07:55 +02:00
joneugster 53e015a2fe cleanup app.tsx 2023-10-23 18:00:42 +02:00
joneugster b70ac78cf7 split Typewriterinterface and catch promise file close error #127 2023-10-22 01:00:47 +02:00
joneugster 853f797157 add comment for rpc bug 2023-10-21 04:20:19 +02:00
joneugster 84ad619537 Improve input and deletion of typewriter #122 2023-10-21 03:16:57 +02:00
joneugster b6bc77828d remove 'Exercise' word #123 2023-10-21 02:21:05 +02:00