I'm wondering if it is a Linux specific issue related to how I check if the cursor is in the body editor.
Can anyone on a windows machine confirm that the new behavior is working? On Friday, November 20, 2015 at 11:38:51 AM UTC-5, Chris George wrote: > > Hi John, > > That makes no difference. > > Chris > > On Fri, Nov 20, 2015 at 8:20 AM, john lunzer <[email protected] > <javascript:>> wrote: > >> You shouldn't need to but please try adding @bool cursor_stay_on_paste = >> True to your settings in myLeoSettings.leo. >> >> If that does not enable the behavior I will have to look into it further. >> >> >> On Friday, November 20, 2015 at 10:52:53 AM UTC-5, Chris George wrote: >>> >>> Leo 5.1-final, build 20151119195910, Thu Nov 19 19:59:10 CST 2015 >>> >>> Git repo info: branch = master, commit = c46e332967ae >>> >>> Python 2.7.6, PyQt version 4.8.6 >>> linux2 >>> >>> >>> Hi John, >>> >>> >>> The behaviour has not changed for me at all, no matter whether I select >>> the string using the keyboard or the mouse. The cursor always shifts to the >>> end of the string. >>> >>> >>> Chris >>> >>> On Friday, November 20, 2015 at 5:33:28 AM UTC-8, john lunzer wrote: >>>> >>>> This change has been checked in and is active for body text only. It is >>>> on by default so you should be able to test immediately after update. >>>> >>>> I ran the unit tests for text commands and all passed. Please let me >>>> know if you run into any strange behavior or crashes. >>>> >>>> On Thursday, November 19, 2015 at 7:23:30 AM UTC-5, john lunzer wrote: >>>>> >>>>> After having just poked around in the copy and paste code and after >>>>> implemented my own cursor position retention code for other (unreleased) >>>>> features I think it wouldn't be too much of an issue. >>>>> >>>>> I personally don't see why it would be an issue, I think the current >>>>> behavior exists because it is a simpler implementation. I guess I could >>>>> see >>>>> why somebody might always want the cursor at the end of the paste and so >>>>> you're right a new setting would probably be needed. >>>>> >>>>> Please submit this as an issue to the github page and I can add an >>>>> enhancement flag to it. I can't promise a timeframe but I'll try to look >>>>> into it sooner rather than later. I think I have all the code in >>>>> different >>>>> places, I think it would just be a matter of mixing it together. >>>>> >>>>> On Wednesday, November 18, 2015 at 6:29:21 PM UTC-5, Chris George >>>>> wrote: >>>>>> >>>>>> I have a question. >>>>>> >>>>>> It would be useful to me to have the position of the cursor retained >>>>>> when copy/pasting text. >>>>>> >>>>>> For example: If I begin selecting a word/snippet of text from the >>>>>> left to the right and I paste it, the cursor remains at the end of the >>>>>> string. If I select from right to left and then copy/paste, the cursor >>>>>> still goes to the end of the string. It would be more consistent for me >>>>>> if >>>>>> it were to remain at the beginning of the string, if that was where it >>>>>> was >>>>>> during the copy/paste operation. >>>>>> >>>>>> None of the other applications I tested on my Linux box display this >>>>>> behaviour either, so I imagine that there is a good reason why no one >>>>>> does >>>>>> this but I can't think of what it might be. >>>>>> >>>>>> So, is there a good reason why no one does this and how hard would it >>>>>> be to add this to Leo with a setting to allow the user ot choose the >>>>>> desired behaviour? >>>>>> >>>>> -- >> 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] <javascript:>. >> To post to this group, send email to [email protected] >> <javascript:>. >> 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.
