On Sunday, July 16, 2023 at 4:21:26 PM UTC-5 Thomas wrote: OTOH, who knows when vscode.dev will be able to support Leo. I don't think that showing a visitor and XML outline file would be enlightening at all.
Yes. Otoh, I want to ensure people start tracking vscode.dev. I think that either we should just remove the link, or think carefully about what it was intended to do. Let me sleep on this :-) 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/852bdcca-0428-4345-96e0-a9fb7e9b1facn%40googlegroups.com.
