Describe the bug
When I modify the name of a bookmarked node, its bookmark name is not changed inside the bookmarks menu,
although clicking the bookmark do opens the right node.
To Reproduce
Steps to reproduce the behavior:
click on a bookmarked node
press F2
Change the node name
open the bookmarks menu
look at the node's bookmark name
See that it does not match with the node name
Screenshots
If applicable, add screenshots to help explain your problem.
Version, Operative system 1.0.2,Ubuntu 4.15
Describe the bug When I modify the name of a bookmarked node, its bookmark name is not changed inside the bookmarks menu, although clicking the bookmark do opens the right node.
To Reproduce Steps to reproduce the behavior:
Screenshots If applicable, add screenshots to help explain your problem.