Re: OMG: the LeoApp class needs no outline data!

2018-11-13 Thread pimgeek
Sounds very promising! A related question to ask: Can I turn Leo Editor App into a Leo Data Server by install the leoflexx plugin? (and then in theory I can access the data via Web Browser from every machine on the internet) :-O Recently I try to bind Leo Data to a one-page WebApp via package

Re: How to get viewrendered pane size?

2018-11-13 Thread pimgeek
Thanks for your quick reply! The problem is, I want to hide / show vr pane but the default Alt-0 method always "breaks the layout" after hiding and re-showing vr pane, it moved to an unexpected location. I have figured out this solution by trail-and-error, is there any simpler ways to do

OMG: the LeoApp class needs no outline data!

2018-11-13 Thread Edward K. Ream
None of the outline-related data structures mentioned in leoflexx.py progress report 3 are needed!! Proof: The dicts returned by the app.redraw and app.send_children_to_tree actions contain *all* the data the tree class is

Re: leoflexx.py: clarity and simplicity

2018-11-13 Thread Edward K. Ream
On Monday, November 12, 2018 at 9:54:11 PM UTC-6, Edward K. Ream wrote: *Representing Archived Positions* > > *Aha*: ap's should just be dicts. Leo's positions have _childIndex, v > and stack ivars, where stack entries are tuples of the form (v, > childIndex). So the *ap dicts* will have the

Re: How to get viewrendered pane size?

2018-11-13 Thread Terry Brown
On Mon, 12 Nov 2018 21:16:49 -0800 (PST) pimgeek wrote: > I want to create a changePaneSize @command in myLeoSettings.leo, but > don't know how to get and change pane size, what should I do? Probably the easiest thing is to arrange the panes as you want them, then right click the divider

How to get viewrendered pane size?

2018-11-13 Thread pimgeek
I want to create a changePaneSize @command in myLeoSettings.leo, but don't know how to get and change pane size, what should I do? -- 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,