On Sat, Nov 28, 2020 at 3:10 PM 'Mark' via Racket Users < racket-users@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/01000176109e430d-5ed26ea0-2ae2-440b-b2f3-1c1c3115f50c-000000%40email.amazonses.com.
