I tried that but it gave errors. However, the errors ended by suggesting 
adding '.git' so then I ran:

raco pkg install 
https://github.com/LiberalArtist/disable-blink-caret-drracket-tool.git

and then I ran drracket -- and no blinking! (It worked on both Linux and 
Windows).
Thank you:-)

On Saturday, November 28, 2020 at 9:16:15 PM UTC Philip McGrath wrote:

> I put up a very quick version on GitHub: 
> https://github.com/LiberalArtist/disable-blink-caret-drracket-tool
>
> You should be able to install it with `raco pkg install 
> https://github.com/LiberalArtist/disable-blink-caret-drracket-tool` 
> <https://github.com/LiberalArtist/disable-blink-caret-drracket-tool>.
>
> Hope this helps!
>
> -Philip
> On Saturday, November 28, 2020 at 3:49:39 PM UTC-5 Philip McGrath wrote:
>
>> On Sat, Nov 28, 2020 at 3:10 PM 'Mark' via Racket Users <
>> [email protected]> wrote:
>>
>>> (But it is still a pity that there's no config option to turn off 
>>> blinking in DrRacket.)
>>>
>>
>> I agree that this would be a valuable feature to add, not just to 
>> DrRacket but to `racket/gui` in general. It seems the blinking behavior is 
>> controlled with a hard-coded interval here: 
>> https://github.com/racket/gui/blob/aa5ebfec7402bdcbc3813f822caedb4a3ceb2c4c/gui-lib/mred/private/wxme/editor-canvas.rkt#L84-L104
>>  
>> Probably the hard part of a solution would be detecting the user's 
>> preference properly across platforms.
>>
>> In the meantime, I think it would be possible for a DrRacket plugin 
>> <https://docs.racket-lang.org/tools/Extending_the_Existing_DrRacket_Classes.html>
>>  
>> to use `drracket:get/extend:extend-interactions-text` and 
>> `drracket:get/extend:extend-definitions-text` to override the 
>> `blink-caret` 
>> <https://docs.racket-lang.org/gui/editor___.html#(meth._(((lib._mred%2Fmain..rkt)._editor~3c~25~3e)._blink-caret))>
>>  
>> method with a no-op.
>>
>> -Philip
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/9450d9a5-a197-4b27-bbf0-0d09eb2c99c3n%40googlegroups.com.

Reply via email to