On Wed, Jun 12, 2019 at 1:38 PM Terry Brown <[email protected]> wrote:
> Bookmarks isn't particularly entangled in the old UI, I had it working in > my attempt at a docks based UI. > > I don't really see it as different from the other plugins listed in #1154 > <https://github.com/leo-editor/leo-editor/issues/1154>, it has state > persistence, but I don't think that's a GUI tied issue. > Thanks for this. I'll add it to the list. Actually, the list may not matter much, because all the plugins probably use common code to add themselves to the (legacy) Log pane. I'll just adapt that code to use docks. Edward -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS23ugTeUyQC6OHvyw06KJiRpFGzCA-Jy8B_r%2BqZtKLPBQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
