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 < racket-users@googlegroups.com> 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 <phi...@philipmcgrath.com> >> wrote: >> >>> On Sat, Nov 28, 2020 at 3:10 PM 'Mark' via Racket Users < >>> racket...@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...@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 >>> <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 racket-users+unsubscr...@googlegroups.com. > 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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAL3TdONq-Q_goNRrvEpcsJwWmwPi80izo6OPQB9OSm2aire-Ng%40mail.gmail.com.
