I've pushed a change to DrRacket so you can set a preference in it to turn the blink off. As Philip says, the more difficult part will be getting the preference from the OS but at least that's a start.
Robby On Sat, Nov 28, 2020 at 2:49 PM Philip McGrath <[email protected]> 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/01000176109e430d-5ed26ea0-2ae2-440b-b2f3-1c1c3115f50c-000000%40email.amazonses.com > <https://groups.google.com/d/msgid/racket-users/01000176109e430d-5ed26ea0-2ae2-440b-b2f3-1c1c3115f50c-000000%40email.amazonses.com?utm_medium=email&utm_source=footer> > . > -- 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/CAL3TdOOJTbHarVP-jW-7JF%3DjD_e3jN_btJ1uk-ZWufD_mChiWw%40mail.gmail.com.
