On Sun, 23 Aug 2015 15:51:23 +0300 "Ville M. Vainio" <[email protected]> wrote:
Ville's still around, good to know ;-) > 2. .ini or .json based configuration (instead of .leo format), again > like in Sublime Text or VSCode. Current system requires too much Leo > buy-in already As it happens I have some almost ready to test code to make Leo settings editing easier. It does what we've discussed before, provides a plain text multi-level menu to locate settings, then handles copying them from leoSettings.leo to myLeoSettings.leo etc. I can't see how editing .json (in what?) is easier than editing Leo outlines in Leo. .ini might be more familiar, but it feels like a cop out to say Leo's great at managing hierarchical information, but you have to use .ini files for this relatively simple case. > 3. See if we could make tabs for node editors (richt click on node -> > open as tab). This is in line with how people use e.g. browsers these > days. Like "stickynote" but for tabs, that is +10 on this, I've been saying for years we want body panes to be well behaved QWidgets we can stick anywhere. Now that I finally have the settings editor helper menu almost done, perhaps this will be my next focus. It's not really the "stick anywhere" part, it's the handling of multiple body editors that could be expanded. > 4. see if we could replace minibuffer with ctrl+shift+p like thing > from sublime/atom/vscode. Much more "impressive" and modern. Probably need more info. beyond the different key binding here ;-) > 5. likewise, ctrl+p for "quick finding" nodes based on fuzzy matching > on headlines (like subliwe fuzzy matches file names on ctrl+p) Seems it shouldn't be hard to add fuzzy matching to the Nav pane (quicksearch plugin). Cheers -Terry -- 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 post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
