On Tuesday, September 15, 2020 at 11:45:28 AM UTC-4, Edward K. Ream wrote: > > On Tue, Sep 15, 2020 at 10:22 AM Thomas Passin <tbp1...@gmail.com > <javascript:>> wrote: > >> I wouldn't disagree, but then I haven't used the plugin. >> > > At present, the plugin is little more than a proof of concept for > integrating Leo and pyzo. I don't think this plugin has a future. > > If we drop having docks and use vitalije's suggestion, I notice that the >> new windows don't have a title (except for "Leo unnamed Window"). >> > > The title is actually <branch-name>:untitled, or leo:untitled. > > Perhaps it wouldn't be too hard to put the same name on the new window as >> was shown on the "Open Window" menu. >> > > I don't understand this. What name do you propose? >
If I open the "Nav" pane from the splitter bar, the window should have the title "Nav". If I open the Spell pane in a separate window, it should have the title "Spell". Right now each of those windows is titled "Leo unnamed window". -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/68b2159b-3fc8-4417-aa2d-647b321befa9o%40googlegroups.com.
