[fix/bookmark-name] Fix bookmark name editing#877

Merged

hosy merged 1 commit intomilestone/11.5from

fix/bookmark-name

Jan 26, 2021

Commits on Jan 25, 2021

Fix: when editing bookmarks: if a name was set, it wasn't shown; name edits/additions would get lost; name edits would not be presented in the list unless scrolling out of view and back in.
felix-schwarz
committed