On Fri, Oct 14, 2011 at 11:30 AM, Edward K. Ream <[email protected]> wrote: > On Fri, Oct 14, 2011 at 11:17 AM, Kent Tenney <[email protected]> wrote: > >> Sort of a top level Table of Contents with @bookmarks pointing at Leo files? > > Interesting. I keep forgetting about bookmarks as another > direction/dimension. > > Another example of not remembering what we have. > >> I think that would be great, though persisting the open tabs would add >> lots of value: >> from leo.leo -> open tabs for files of interest -> exit Leo -> start >> Leo -> tabs as before > > Hmm. It adds a bit, but imo not that much to what we already have.
Makes all the difference to me. If the tabs persist, I'll take time to get them just so, if I need to reopen every time ... fugitit. If I need to freeze in a command ... fugitit. But ... if I can open a set of files and save with a name (Vim's (and others) "session") Ah, now I can accommodate the embarrassingly scattered nature of my dev workflow. > > I can open all the permutations of the files I want with just a single > command: > > u (unitTest), e (local testing) s (leoPy.leo and leoPlugins.leo) d > (leoDocs) etc. > > You could say that persisting tabs avoids some of this, but the use > cases of wanting to open specific tabs will never go away. > > For example, I use e and u to test with the latest code, and it never > makes any sense to open other tabs in those cases. I want the fastest > load possible and I'm not going to keep the .leo files open after > testing because I'm going to reload them after making more code > changes. > >> I think there's a way to search across Leo files: quicksearch multiple >> files ... ? > > Thanks for the reminder. > > I suspect that few of us remember what we don't use. I sure don't. > >> What if quicksearch looked at all the @bookmarked files and offered to open >> the >> ones with hits? ... methinks way cool. > > A great idea. > > Edward > > -- > 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.
