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. That said, the old GUI worked by letting plugins register as things that could provide a widget for the GUI to manage. It also handled persistence in that process. In that context bookmarks.py would work equally well in a new GUI that registers a list of things that can provide widgets to manage. If the new model is for each plugin to understand the GUI and manage itself within it, then there might be more work to be done. Cheers -Terry On Wed, Jun 12, 2019 at 11:06 AM Edward K. Ream <edream...@gmail.com> wrote: > > > On Wed, Jun 12, 2019 at 8:31 AM lewis <lewisn...@operamail.com> wrote: > > I have found Leo's Bookmarks plugin a very useful tool. With the >> introduction of docks it is no longer available unless you use the >> --no-dock option, but then you lose dock features. >> Is there any prospect of there being a compatible plugin enabling a >> Bookmark panel to be inserted or merged into a dock? >> > > bookmarks.py is a hard case. It's entangled with the old gui. It would > need a rethink/rewrite for docks. > > The plugins listed in #1154 > <https://github.com/leo-editor/leo-editor/issues/1154>should port to > using docks without much fuss. I'll likely to that before 6.0b1. > > 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 leo-editor+unsubscr...@googlegroups.com. > To post to this group, send email to leo-editor@googlegroups.com. > 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/CAMF8tS3NK-gM3KqV-ZBN4XvLRcBNhrw_-oRnqvhrJvOJhD4anw%40mail.gmail.com > <https://groups.google.com/d/msgid/leo-editor/CAMF8tS3NK-gM3KqV-ZBN4XvLRcBNhrw_-oRnqvhrJvOJhD4anw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. 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/CAFPg46Q%2B8YvxRYQ%3DMkFdJr7aXaxVTOauQ2PJCuwM9RBh1MOcqA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
