On Wed, 19 Nov 2014 15:55:22 -0600 Kent Tenney <[email protected]> wrote:
> I think I went WAY back via > git checkout master~30 > and master~40 ... > > I think that means 40 commits back > as far back as I went, same thing. > > maybe I'm delusional, and hadn't tried without myLeoSettings.leo > open ... I don't think so. Not sure whether or not your delusional :-) but I'm sure this myLeoSettings.leo @buttons thing was working. In fact it's still working for me... Leo Log Window Leo 5.0b2, build 20141119104142, Wed Nov 19 10:41:42 CST 2014 Git repo info: branch = master, commit = 3f0908c5cb99 Python 2.7.6, PyQt version 4.8.6 linux2 so... maybe it's myLeoSettings.leo that's changed? Cheers -Terry > On Wed, Nov 19, 2014 at 3:46 PM, Edward K. Ream <[email protected]> > wrote: > > On Wed, Nov 19, 2014 at 3:32 PM, Edward K. Ream > > <[email protected]> wrote: > >> > >> > >> > >> On Wed, Nov 19, 2014 at 2:33 PM, Kent Tenney <[email protected]> > >> wrote: > >>> > >>> I just pulled current trunk, the buttons defined in > >>> myLeoSettings.leo stopped working. > >> > >> > >> Thanks for this report. There have been 5 commits to > >> mod_scripting since bug #74 was fixed. One of them is likely the > >> culprit ;-) > > > > > > Hmm. Rev cf164df was supposed to fix #74, but I apparently even > > then myLeoSettings.leo had to be open for @buttons to work, so git > > bisect won't help. > > > > Good thing there are good notes at > > https://github.com/leo-editor/leo-editor/issues/74 > > I'll fix this tonight or tomorrow. > > > > EKR > > > > -- > > 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.
