It would be nice to have DrRacket pay attention to the os-level preference when it exists.
Robby On Sun, Nov 29, 2020 at 2:52 AM 'Mark' via Racket Users < [email protected]> wrote: > 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 > <https://groups.google.com/d/msgid/racket-users/6cec713b-f619-40a0-a0f1-e1c020ff47b3n%40googlegroups.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/CAL3TdONq-Q_goNRrvEpcsJwWmwPi80izo6OPQB9OSm2aire-Ng%40mail.gmail.com.
