Re: Bookmarks plugin for docks

On Wed, Jun 12, 2019 at 4:29 PM Edward K. Ream wrote: Thanks for this. I'll add it to the list. > Heh. bookmarks.py does not create any tab in the Log pane, so nothing needs to be done. > plugins probably use common code to add themselves to the (legacy) Log > pane. I'll just adapt that

Re: Bookmarks plugin for docks

On Wed, Jun 12, 2019 at 1:38 PM Terry Brown 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 > ,

Re: Bookmarks plugin for docks

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 , it has state persistence, but I don't think that's a GUI tied

Re: Bookmarks plugin for docks

On Wed, Jun 12, 2019 at 8:31 AM lewis 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

Bookmarks plugin for docks

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