lissitz 845484aecc Fix: refreshing the page while selecting saves the selection ele… (#601)
* Fix: refreshing the page while selecting saves the selection element

Fixes #591.

* fix lint

Co-authored-by: David Luzar <luzar.david@gmail.com>
2020-01-28 16:44:34 +01:00
..
2020-01-27 22:14:35 +01:00
2020-01-27 19:51:11 +01:00
2020-01-24 20:35:51 +02:00
2020-01-24 21:02:55 +01:00
2020-01-24 12:04:54 +02:00
2020-01-25 09:47:02 -08:00
2020-01-26 11:46:56 +01:00
2020-01-25 19:37:58 -03:00
2020-01-24 12:04:54 +02:00
2020-01-02 11:03:48 -08:00
2020-01-24 12:04:54 +02:00
2020-01-26 21:04:56 +01:00
2020-01-20 14:59:00 -08:00
2020-01-27 22:14:35 +01:00
2020-01-24 12:04:54 +02:00
2020-01-24 21:02:55 +01:00