Hi Terry, Enjoying using your bookmarks plugin, it's very useful for quick navigation both within and between different files.
I have recently noticed it allows you to add duplicate bookmarks in a node. It doesn't flash the existing bookmark red as shown in your bookmarks video <https://vimeo.com/77720098> (4:55). Maybe it has always been possible to add a duplicate but the red warning isn't happening now. Regards Lewis *Leo Log WindowLeo 5.4-devel, build 20160722143100, Fri, Jul 22, 2016 2:31:00 PMGit repo info: branch = master, commit = aca8d416ec35Python 2.7.12, PyQt version 4.8.7Windows 10 AMD64 (build 10.0.10586) * -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
