I have some code that restores the red highlighting, but also fiddles around a
lot with displaying empty bookmark folders (which you'd add bookmarks to),
nothing new but works with less input now.
But I'm going to be off line for a week and don't want to push the new code
without further testing, so Lewis if you want to check it out from my fork
https://github.com/tbnorth/leo-dev-tbnorth that would be great otherwise I'll
eat my own dogfood for a bit when I have more time next week.
Cheers -Terry
From: 'Terry Brown' via leo-editor <[email protected]>
To: [email protected]
Sent: Sunday, August 28, 2016 4:56 PM
Subject: Re: Bookmarks plugin
On Sun, 28 Aug 2016 06:14:12 -0700 (PDT)
lewis <[email protected]> wrote:
> 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.
Heh, that feature got dropped, but I'd like it back myself, and let's
face it, it's easier to fix the feature than the video :-)
So I will try and put it back soon.
Thanks for the feedback.
Cheers -Terry
> 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.
--
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.
