David Luzar fda06e4fc3
Fix history - the 2nd installment (#1014)
* don't regenerate versionNonce on pushEntry

* fix history handling around multi-point arrows

* remove filtering from getElementMap helper
2020-03-19 11:41:32 -07:00
..
2020-02-21 11:34:18 -08:00
2020-03-18 13:01:33 +01:00
2020-03-18 16:43:06 +01:00