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 < >> racket...@googlegroups.com> 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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/9450d9a5-a197-4b27-bbf0-0d09eb2c99c3n%40googlegroups.com.
