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