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]. 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.
