Mario
|
70c8a1db60
|
add feature to hide Workspace stats
|
2020-11-05 18:30:27 +01:00 |
|
Delucse
|
5c43ff4648
|
name of the workspace and display of its
|
2020-09-17 11:55:46 +02:00 |
|
Delucse
|
1c29dd2109
|
display statistics as menu, if screen is too small
|
2020-09-15 17:05:22 +02:00 |
|
Delucse
|
6c3709fde8
|
adjustment of the tutorial component and all dependencies to the new tutorial.json
|
2020-09-11 10:13:33 +02:00 |
|
Delucse
|
ccf901d20b
|
error page requesting a tutorial that does not (longer) exist
|
2020-09-02 11:43:17 +02:00 |
|
Delucse
|
fdde372ef3
|
reset Workspace with initial XML-Block
|
2020-08-10 11:54:36 +02:00 |
|
felixerdy
|
fd4afa9e60
|
cleanup
|
2020-08-03 15:48:33 +02:00 |
|
Mario
|
6e56054d1d
|
remove typography warning
|
2020-07-31 16:42:41 +02:00 |
|
felixerdy
|
25aae52da3
|
some styling
|
2020-07-31 16:15:41 +02:00 |
|
Delucse
|
bd28c388be
|
styling: cahnging color to 'white"
|
2020-07-24 19:49:40 +02:00 |
|
Delucse
|
168c5fb575
|
removing workspace from Redux
|
2020-07-23 15:55:54 +02:00 |
|
Delucse
|
c2405de04a
|
adaptation of the functionalities to Blockly package
|
2020-07-23 15:42:01 +02:00 |
|
Delucse
|
c05572a68e
|
first Blockly functionalities
Attention: the buttons currently trigger an error
|
2020-07-23 11:33:13 +02:00 |
|