It's actually things like abbreviations and key bindings which I often find myself tweaking.
On Monday, August 24, 2015 at 12:16:24 PM UTC-4, Terry Brown wrote: > > On Mon, 24 Aug 2015 08:56:40 -0700 (PDT) > john lunzer <lun...@gmail.com <javascript:>> wrote: > > > On Monday, August 24, 2015 at 10:21:37 AM UTC-4, Edward K. Ream wrote: > > > > > > Note "Reload settings" isn't working as effectively as I think it > > >> should, that may need to be addressed as well. Unrelated to the > > >> new code. > > > > > > ​Reload settings is going to be a project, for several reasons. > > > Many classes cache settings so they don't have to keep calling > > > c.config.getX. This is/was purely an abbreviation, but caching a > > > setting means that it's impossible to change the setting. Going > > > through the code an replacing the abbreviations with "dynamic" > > > calls to c.config.getX isn't rocked science, it's merely tedious > > > and perhaps error prone. > > > > I realize I'm only one voice and my situation may be unique, but the > > lack of being able to reload settings is pretty troublesome for me. I > > do a great deal of my work over slow SVN and I often have to open up > > codebases of hundreds of files. You can imagine that I don't alter > > settings as often as I want to, it often takes me a good 7-10 minutes > > to reopen my outlines to load all of the files. If this could be > > done, however slowly it would likely benefit more than just myself. > > Which settings do you want to by re-loadable? If they're appearance > related, I think that should work, but currently needs fixing. Other > misc. things like 'graph-manual-layout' can certainly be addressed > based on what's annoying people :) > > 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
