On Saturday, July 11, 2020 at 3:01:22 AM UTC-5, Félix wrote: > I Made @buttons a reality, merged it on the 'dev' branch, you guys tell me if it works for you.
Yes, it works. gitk shows you did a *lot* of work. How much of leo/plugins/mod_scripting.py did you use? Any of it? If possible, I would prefer that mod_scripting.py be made gui agnostic. There is tricky logic in mod_scripting.py. Imo, it would be best if leoInteg uses that logic, via leoBridge. Maybe that already happens? Which brings up a related question. Does it make sense to create an official "vs-code" gui? It be an unusual gui: it will (probably) delegate all gui operations to leoInteg. What do you think, Félix? 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/20f46ed5-eb4c-4c62-95f0-fad3148fc6c4o%40googlegroups.com.
