Re: Copy/Paste into abbreviations weirdness

2018-07-27 Thread vitalije
I saw this behavior recently but I thought it might have something with my machine. Rev 0eab277bfdd should fix this. It was just that one flag was set to True instead to False. The flag is "middleButton" and it seems that the intent was to simulate on Windows middle button pasting feature

Re: Copy/Paste into abbreviations weirdness

2018-07-27 Thread Rob
Just updated to latest in devel branch and it's still pasting the placeholder text instead of clipboard. Rob... On Friday, July 27, 2018 at 3:57:47 AM UTC-4, vitalije wrote: > > I saw this behavior recently but I thought it might have something to do > with my machine. > > Rev 0eab277bfdd

Re: GitHub merge

2018-07-27 Thread Terry Brown
It is in the main GitHub repo., but I'm not sure if it's doing any harm. I.e. it might just be merge commit that merges branches that were already in sync. bar trivial changes. I'll investigate a bit more. Cheers -Terry On Fri, Jul 27, 2018 at 8:04 AM Rob wrote: > After returning from an

Re: GitHub merge

2018-07-27 Thread Terry Brown
Based on looking at `gitk --all` and then perhaps more efficiently `git log --stat`, I'd say what you did had no negative impact beyond perhaps an unnecessary merge commit - i.e. it didn't actually change any files in devel or anywhere else. Cheers -Terry On Fri, Jul 27, 2018 at 8:04 AM Rob

GitHub merge

2018-07-27 Thread Rob
After returning from an extended trip last night, I tried syncing my local machine to the latest leo devel branch. I use GitHub Desktop on Win10. On my end, it appears that I may have unintentionally merged branches. See screenshot:

Re: GitHub merge

2018-07-27 Thread Rob
Thanks, Terry and Jacob. Rob... On Friday, July 27, 2018 at 9:54:55 AM UTC-4, Terry Brown wrote: > > Based on looking at `gitk --all` and then perhaps more efficiently `git > log --stat`, I'd say what you did had no negative impact beyond perhaps an > unnecessary merge commit - i.e. it didn't

Re: Copy/Paste into abbreviations weirdness

2018-07-27 Thread Terry Brown
Your change didn't seem to fix the bug Rob reported, so I reverted it "just because" :-) I'm not sure that kwarg really does anything at all. I run this code from a @script to get middle button pasting in Windows. # monkey patch to give Leo body widget X11 like select->copy and #

Re: Copy/Paste into abbreviations weirdness

2018-07-27 Thread Terry Brown
Try 5ff9a7f3e5 Cheers -Terry On Fri, Jul 27, 2018 at 7:58 AM Rob wrote: > Just updated to latest in devel branch and it's still pasting the > placeholder text instead of clipboard. > > Rob... > > On Friday, July 27, 2018 at 3:57:47 AM UTC-4, vitalije wrote: >> >> I saw this behavior recently

Re: Copy/Paste into abbreviations weirdness

2018-07-27 Thread Rob
Thanks, Terry! That did the trick. Rob... On Friday, July 27, 2018 at 12:37:10 PM UTC-4, Terry Brown wrote: > > Try 5ff9a7f3e5 > > >> -- 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