|
|
42bd301389
|
selected_element layer which highlights the selected element
|
2022-12-09 13:58:45 +01:00 |
|
|
|
494a49bc48
|
Switch to a panel based UI, fix #552
|
2022-12-08 02:56:49 +01:00 |
|
|
|
b541d3eab4
|
Reformat all files with prettier
|
2022-09-08 21:40:48 +02:00 |
|
|
|
4246221e8e
|
Fix import flow, add typing
|
2022-07-08 03:14:55 +02:00 |
|
|
|
4283b76f36
|
Huge refactoring: split readonly and writable stores
|
2022-06-05 02:24:14 +02:00 |
|
|
|
f4a965eacf
|
Move ShowDataLayer-implementation to a separate class for nodejs compatibility
|
2022-04-30 00:41:33 +02:00 |
|
