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`. 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/3cd9b003-43d6-4611-85f3-69ce981705ddn%40googlegroups.com.
