Alexander Bentkamp
|
adc6284d4c
|
unmount editor properly
|
4 years ago |
|
Alexander Bentkamp
|
ad6f907d17
|
load number of levels from server
|
4 years ago |
|
Alexander Bentkamp
|
91c77a0d93
|
set titles
|
4 years ago |
|
Alexander Bentkamp
|
bbfb6f8f5e
|
use ReactMarkdown plugins
|
4 years ago |
|
Alexander Bentkamp
|
9a4abe6f80
|
dispose editor
|
4 years ago |
Jon Eugster
|
cacab5336e
|
merge
|
4 years ago |
|
Jon Eugster
|
802d748bf4
|
collapsable side panel
|
4 years ago |
|
Alexander Bentkamp
|
32b9d028a7
|
save state of code
|
4 years ago |
|
Jon Eugster
|
513a6f0a3e
|
merge
|
4 years ago |
|
Jon Eugster
|
c7d7174bdb
|
changing CSS
|
4 years ago |
|
Alexander Bentkamp
|
0ec9cadb13
|
display errors
|
4 years ago |
|
Jon Eugster
|
46848d8a93
|
merge addition of Lemma statements
|
4 years ago |
|
Alexander Bentkamp
|
a5d2242ef9
|
add task gutter
|
4 years ago |
|
Alexander Bentkamp
|
cd18884885
|
fix
|
4 years ago |
|
Alexander Bentkamp
|
b5e1d38341
|
allow hot reloading in level
|
4 years ago |
|
Alexander Bentkamp
|
4c135aa6ae
|
load level using rtk
|
4 years ago |
|
Alexander Bentkamp
|
c6d8b35806
|
set up rtk query
|
4 years ago |
|
Alexander Bentkamp
|
6cbe80b3c0
|
fix routing
|
4 years ago |
|
Alexander Bentkamp
|
894d2708d8
|
add world parameter to router
|
4 years ago |
|
Alexander Bentkamp
|
8dbdfb0f4d
|
routing for level
|
4 years ago |
|
Alexander Bentkamp
|
b8a8180d7e
|
use react router, reorganize leanClient connection
|
4 years ago |
|
Alexander Bentkamp
|
4157dc0564
|
improve custom goal display
|
4 years ago |
|
Alexander Bentkamp
|
d78a8fafa4
|
start custom infoview
|
4 years ago |
|
Alexander Bentkamp
|
bd3e3678d5
|
fix for React StrictMode
|
4 years ago |
|
Alexander Bentkamp
|
cc6eb8c3f9
|
use redux
|
4 years ago |
|
Alexander Bentkamp
|
bc9531a9c2
|
add worlds
|
4 years ago |
|
Alexander Bentkamp
|
c8b8fc098b
|
rearrange layout
|
4 years ago |
|
Alexander Bentkamp
|
cede6630dc
|
show introduction
|
4 years ago |
|
Alexander Bentkamp
|
43d671713d
|
level navigation
|
4 years ago |
|
Alexander Bentkamp
|
8fd6b3e015
|
load levels via uri
|
4 years ago |
|
Alexander Bentkamp
|
4d9e1ba7d7
|
infoview
|
4 years ago |
|
Alexander Bentkamp
|
7ae299870b
|
use LeanClient
|
4 years ago |
|
Alexander Bentkamp
|
7e78445c43
|
import editor
|
4 years ago |
|
Alexander Bentkamp
|
d5fcf148fe
|
load level
|
4 years ago |
|
Alexander Bentkamp
|
d2fd1c5915
|
convert tabs to spaces
|
4 years ago |
|
Alexander Bentkamp
|
054e28c1ec
|
communicate via JSON RPC
|
4 years ago |
|
Alexander Bentkamp
|
6863e10790
|
convert all files to typescript
|
4 years ago |