As below the following files are being read but the only file with any settings is myLeoSettings.leo and it consists of one @settings with @ bool vim-mode = True
reading settings in C:\home\slzatz\leo-editor\leo\config\leoSettings.leo reading settings in C:\Users\szatz\.leo\myLeoSettings.leo reading settings in c:\home\slzatz\test.leo This is consistent with the fact that my version of Leo now looks like a dos application. ;-) On Thu, Aug 14, 2014 at 8:53 AM, Edward K. Ream <[email protected]> wrote: > On Thu, Aug 14, 2014 at 6:44 AM, Steve Zatz <[email protected]> wrote: > > > I am typing a colon -- meaning I am typing Shift and the key that > contains > > the colon and semi-colon. For whatever reason, the log file message > > references semi-colon and appears to be missing the fact that the shift > key > > is pressed. If I am insert mode, I get the expected colon. And since I > can > > type any cap character, I don't think it's my shift key. > > Very interesting. > > > I have just tried completely commenting out the @settings in the global > > leosettings, which, as an aside is pretty interesting to see Leo with > > absolutely no settings active. Alas, the problem continues. > > I wouldn't be so sure. > > Leo will report when it reads a settings file, both in the console > window and in the log pane of the first-loaded file. Are you *sure* > that no settings files are active? > > Edward > > -- > 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. > -- 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.
