[racket] Strange editor behaviour
Yes! You figured it out! This has been bugging me for months.
Here's more info, in case it helps. In addition to SHIFT+Left,
SHIFT+Right, SHIFT+Up and SHIFT+Down always expanding the selection when
Replace is shown, so does SHIFT-End, and all the SHIFT+ALT arrow combos
and SHIFT+CTRL combos. SHIFT-Home only works when the selection doesn't
span multiple lines.
If the Search box is empty, selection works as expected. (That is,
getting in this always-expanding-selection or caret-position-forgetting
state requires the Replace box to be shown and the Search box to have
text in it.) If the Search box has text in it, it doesn't matter whether
it's found. I'm guessing there's some caret-wrangling code for the
search bar that causes the editor to forget the caret position while
selecting.
Selection in the REPL also seems to be affected by Search and Replace in
exactly the same way. (I haven't tested it thoroughly.)
We should have Eli test this because he's had the same problem. IIRC, he
uses Linux, and so do I: I've seen this on Ubuntu 12.04 and 13.04.
Neil ⊥
On 09/14/2013 08:20 AM, bhrgunatha wrote:
> After lots of head scratching and experimenting I have a consistent cause.
>
> It seems like the Search and Replace bar causes some problem.
> It is only happening when the Replace text box is visible.
>
> This weird behaviour disappears if the I click the Hide Replace button
> or choose Hide Replace from the Edit menu.
>
> I've also noticed that S:C:R stops working after the Replace text box
> and buttons have disappeared. That is I can't Hide, then Re show the
> Replace text box.
>
> I hope that helps you fix the problem, but I'm pretty happy now I know
> how to get the correct operation back again.
>
> Thanks,
> Bhrgunatha
>
>
> On 14/09/13 20:04, Robby Findler wrote:
>> This sounds like a bug in the implementation of the shift-left and
>> shift-right keybindings.
>>
>> If you can give some kind of a step by step procedure to get into the
>> bad state, then I think we can probably fix it.
>>
>> Robby
>>
>>
>>
>> On Sat, Sep 14, 2013 at 6:16 AM, bhrgunatha <bhrgunatha at hotmail.com
>> <mailto:bhrgunatha at hotmail.com>> wrote:
>>
>> I'm having a problem editing programs using DrRacket. This happened
>> once before but went away after re-installing. [1].
>>
>> I'm having the same issue again. Basically the behaviour of text
>> selection is changes while I open and edit different files running a
>> single instance of DrRacket.
>>
>> If I select some text and then press SHIFT+Left instead of altering
>> the selection based on the current cursor position, the selection is
>> extended left from the beginning of the text currently selected.
>>
>> Similarly for SHIFT+Right - it extends the text selection one
>> character to the right from the end of the selection rather than the
>> current cursor position. Same for SHIFT+Down, SHIFT+Up.
>>
>> Is there some key binding or setting in DrRacket that controls the
>> way text selection is handled that I am accidentally hitting?
>>
>> It doesn't happen in any other editor - it's specific to DrRacket.
>>
>> If I quit DrRacket and re-open it normal operation continues for a
>> while again. I don't know if it's a bug or some setting in DrRacket
>> that I am unaware of.
>>
>> My current specs are:
>> Arch Linux 64 bit:
>> Linux 3.10.10-1-ARCH #1 SMP PREEMPT x86_64 GNU/Linux
>>
>> DrRacket 5.3.6.
>> (This is a version I compiled myself - but it's the same using the
>> Arch binary package - racket 5.3.6-1)
>>
>> Can someone offer any advice?
>>
>> Bhrgunatha
>>
>> [1]
>>
>> http://article.gmane.org/__gmane.comp.lang.racket.user/__17034/match=bhrgunatha
>>
>>
>> <http://article.gmane.org/gmane.comp.lang.racket.user/17034/match=bhrgunatha>
>>
>> ____________________
>> Racket Users list:
>> http://lists.racket-lang.org/__users
>> <http://lists.racket-lang.org/users>
>>
>>
>
> ____________________
> Racket Users list:
> http://lists.racket-lang.org/users