phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,050 Commits 19 Branches 10 Tags
6da902aeded22e00401dde674eab73a0cb884456
Commit Graph
72 Commits
Author SHA1 Message Date
Jon Eugster adeed03da8 cleanup; including cleaning up chat 2024-06-05 18:41:01 +02:00
Jon Eugster 8e3dfdea30 wip 2024-05-24 15:34:33 +02:00
Jon Eugster c1642cf09b cleanup: popups 2024-05-16 17:27:16 +02:00
Jon Eugster d82ef8af8f refactor: navigation and other stuff 2024-05-16 02:31:41 +02:00
Jon Eugster 05fbee9365 mark inventory item from the last level 2024-04-25 15:11:31 +02:00
Jon Eugster 8d0493acb5 make preferences work #179 2024-03-25 22:23:03 +01:00
Jon Eugster df423aaace Merge pull request #181 from Wzixiao/auto-mobile-layout 
Modify logic for preferences
 2024-01-26 12:06:29 +01:00
ran 9d4a6df139 Remove MobileContext and use PreferencesContext instead 2024-01-23 22:59:43 +08:00
Jon Eugster c103eeacfa fix: case insensitive url in local store #183 2024-01-18 14:57:50 +01:00
ran 8929813e48 Added a missing space regarding code style in store.ts 2024-01-12 23:48:47 +08:00
ran 5d88cd6739 Remove logically duplicated code 2024-01-12 23:47:04 +08:00
ran 8c93b3c5b3 Modify logic for all preferences 2024-01-12 23:29:03 +08:00
Alexander Bentkamp c9f97b3285 remove watchdog 2023-12-15 22:17:09 +01:00
Jon Eugster d7f1f70d41 Merge pull request #168 from Wzixiao/mobile-option 
Mobile option (template)
 2023-12-14 21:53:08 +01:00
Jon Eugster 5fd49abb90 improve hover text for inventory items #144 2023-12-14 21:05:37 +01:00
Jon Eugster deec431620 Merge branch 'dev' into mobile-option 2023-12-13 15:20:24 +01:00
ran 9f692ccf61 Add basic preference framework and mobile options and Add missing files 2023-12-13 00:37:50 +08:00
ran 47d7f606c6 Add basic preference framework and mobile options 2023-12-13 00:34:38 +08:00
Jon Eugster 8c84d3fae7 Merge branch 'dev' 2023-12-08 01:54:02 +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
joneugster 7a03c4fe0d move landing page tiles to the games 2023-12-06 18:21:37 +01:00
Alexander Bentkamp d18b48db2f make json files directly accessible 2023-11-30 20:55:03 +01:00
Alexander Bentkamp bae360874c json api 2023-11-30 10:51:03 +01:00
joneugster 04038a32c8 fix inventory local storage 2023-10-13 15:51:00 +02:00
Alexander Bentkamp 923a6cfb4f delete outdated local storage 2023-10-04 11:19:01 +02:00
Alexander Bentkamp 8db364748b fix data undefined issue 2023-10-02 22:23:55 +02:00
Alexander Bentkamp 5c919fb983 Add NewHiddenTactic command 
Fixes #109
 2023-10-02 12:50:19 +02:00
Jon Eugster 73b80e714d improve welcome page 2023-09-01 11:52:11 +02:00
Jon Eugster db5cfbc433 new design for welcome page #96 2023-08-31 18:15:15 +02:00
Jon Eugster 8be7f2f17b modify client api to include template 2023-08-25 18:06:26 +02:00
Jon Eugster e23a4bec64 mobile store if game intro has been read 2023-07-29 14:39:36 +02:00
Jon Eugster 1205d83246 lock tactics based on local storage 2023-07-29 00:05:19 +02:00
Jon Eugster 04c19f36cf make downloaded JSON readable 2023-07-24 12:11:31 +02:00
Jon Eugster 5ff7a87696 fix 2023-07-23 21:44:35 +02:00
Jon Eugster 57351025c9 introduce difficulties 2023-07-23 20:13:36 +02:00
Jon Eugster c9a39faa83 add unlocked inventory items to local storage 2023-07-23 14:46:26 +02:00
Jon Eugster 803e261a49 add inventory to start page 2023-07-20 20:24:59 +02:00
Jon Eugster 65f3436e24 fix payload undefined 2023-07-18 19:08:51 +02:00
Jon Eugster 9a75102121 save help in store 2023-07-18 16:12:24 +02:00
Jon Eugster 5b8c9a2e89 show more help per proof step 2023-07-18 15:25:56 +02:00
Jon Eugster 042bf37f1d comments 2023-07-05 18:05:53 +02:00
Jon Eugster 4039fa9467 currently its working 2023-07-05 18:00:50 +02:00
Jon Eugster 5e728fc21a rename files 2023-07-05 17:34:46 +02:00
Jon Eugster c5f54834ed refactor 2023-07-05 14:54:06 +02:00
Jon Eugster 3bf5c5e5e8 rename and tidy up 2023-05-22 21:20:24 +02:00
Jon Eugster fbf0f55968 reorganisational draft 2023-05-22 20:30:58 +02:00