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/01000176109e430d-5ed26ea0-2ae2-440b-b2f3-1c1c3115f50c-000000%40email.amazonses.com.
