On Fri, Oct 14, 2011 at 4:06 PM, Terry Brown <[email protected]> wrote:
> On Fri, 14 Oct 2011 13:52:48 -0700 (PDT)
> SegundoBob <[email protected]> wrote:
>
>> Great idea. I played with the "save tabs" button you suggest, and I
>> noticed that the start up messages to the Log Pane get messed up.
>> When I open several tabs by hand, only the first tab gets the full set
>> of start up messages. The other tabs gets shorter start up message
>> sets. When your @scripts node creates the tabs, the full start up
>> message set does not go to the Log Pane for the first tab. It is
>> split in the middle and some goes to the second tab. This is
>> confusing and not sensible.
>
> I think it's a major thing to fix though. Basically Leo has no concept
> of the "current" commander.
Dang. That also makes it hard to save the current position, an important aspect.
Sounds like Leo needs a commander container.
instead of
g.openWithFileName('/home/ktenney/work/explanans.leo', c)
c = g.openWithFileName('/home/ktenney/work/explanans.leo')
then one could do c.setCurrentPosition(saved_position)
The user thinks it's the currently
> focused window or tab, but there isn't really a context in Leo where
> you can work out what which commander is selected - they're all equal.
>
> Well, I suppose a simple fix would be calling something in
> c.frame.bringToFront() which nominates this commander as the recipient
> of g.es() messages. Not sure of the implications, Edward would know
> better.
>
> Cheers -Terry
>
> --
> You received this message because you are subscribed to the Google Groups
> "leo-editor" group.
> To post to this group, send email to [email protected].
> To unsubscribe from this group, send email to
> [email protected].
> For more options, visit this group at
> http://groups.google.com/group/leo-editor?hl=en.
>
>
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/leo-editor?hl=en.
