|
|
a7da5d65cf
|
Close popup after splitting; scroll popup into view
|
2023-01-04 18:52:49 +01:00 |
|
|
|
057c3fde4f
|
Right-clicking an element (if no presets are defined) will open up the popup of the element
|
2023-01-04 17:41:11 +01:00 |
|
|
|
fed4cff878
|
Auto-formatting
|
2022-12-16 13:45:07 +01:00 |
|
|
|
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 |
|
