On Tue, Sep 15, 2020 at 10:22 AM Thomas Passin <[email protected]> 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? 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS2ki%2BQytxLJPiOZHac%3D1YV-kS9jp_HiCTWKuEFY4LM1qw%40mail.gmail.com.
