It is easy to get the OS preference for Windows and Gtk. But it is actually _better_ to just have a config option since macOS doesn't offer any global config for this.
On Saturday, November 28, 2020 at 11:22:21 PM UTC Robby Findler wrote: > 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/6cec713b-f619-40a0-a0f1-e1c020ff47b3n%40googlegroups.com.
