|  | 2c72e5e0c8 | Merge pull request 'Move to Typescript.' (#4) from feature/typescript into main Reviewed-on: #4 | 2023-04-17 02:46:15 +02:00 |  | 
				
					
						|  | ac964ddd3f | Move to Typescript. | 2023-04-17 02:43:36 +02:00 |  | 
				
					
						|  | 34618860a4 | Merge pull request 'feature/add-user-interaction' (#3) from feature/add-user-interaction into main Reviewed-on: #3 | 2023-04-17 01:25:57 +02:00 |  | 
				
					
						|  | 38bc41e217 | Cleanup | 2023-04-17 01:24:28 +02:00 |  | 
				
					
						|  | 8f64a65a2a | Implemented a half-way okay-ish user interaction pattern: mouse drag. | 2023-04-17 01:19:42 +02:00 |  | 
				
					
						|  | 0e5892147a | General cosmetics. | 2023-04-16 04:04:00 +02:00 |  | 
				
					
						|  | 4a4ff7522f | Enable user interaction, but there's no validity check yet. | 2023-04-16 03:05:36 +02:00 |  | 
				
					
						|  | de6b2e8946 | Merge pull request 'feature/polish' (#2) from feature/polish into main Reviewed-on: #2 | 2023-04-16 03:05:19 +02:00 |  | 
				
					
						|  | 7eecfc3cba | Update dependencies. | 2023-04-16 03:04:51 +02:00 |  | 
				
					
						|  | ae5a58acf8 | Enable use of <>-fragment (update dependencies). Update style of solution-AND-usermarked fields. | 2023-04-16 02:35:34 +02:00 |  | 
				
					
						|  | 4b300004b9 | Fix the ID update bug. | 2023-04-16 01:01:23 +02:00 |  | 
				
					
						|  | 46c16b8bc7 | Merge pull request 'feature/react-bare' (#1) from feature/react-bare into main Reviewed-on: #1 | 2023-04-15 23:15:56 +02:00 |  | 
				
					
						|  | fee75ff8a7 | Fetching remote data from the REST service works, basic drawing too. That's a first prototype. | 2023-04-15 19:39:23 +02:00 |  | 
				
					
						|  | aa8ddde965 | [WIP] bare react. | 2023-04-14 02:01:55 +02:00 |  | 
				
					
						|  | f8854096e5 | Initial commit | 2023-04-09 22:12:40 +02:00 |  |