Timo Bejan 936fece85d Pull request #6: Annotations
Merge in RED/ui from annotations to master

* commit 'f7bcdf8bc6bb8a8e41a135633bc73e861ff6176f':
  Sort to selected annotation in sidebar + fixes
  Sort annotations
  Select annotation
2020-10-12 12:37:19 +02:00
..
2020-10-12 12:37:19 +02:00
2020-09-17 13:52:33 +03:00