Re: [racket-users] DrRacket caret blink

2020-11-29 Thread Robby Findler
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

Re: [racket-users] DrRacket caret blink

2020-11-29 Thread 'Mark' via Racket Users
I tried that but it gave errors. However, the errors ended by suggesting adding '.git' so then I ran: raco pkg install https://github.com/LiberalArtist/disable-blink-caret-drracket-tool.git and then I ran drracket -- and no blinking! (It worked on both Linux and Windows). Thank you:-) On Satu

Re: [racket-users] DrRacket caret blink

2020-11-29 Thread 'Mark' via Racket Users
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 pref

Re: [racket-users] DrRacket caret blink

2020-11-28 Thread Robby Findler
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 wrote: > On Sat, Nov 28, 2020 at 3:10 P

Re: [racket-users] DrRacket caret blink

2020-11-28 Thread Philip McGrath
I put up a very quick version on GitHub: https://github.com/LiberalArtist/disable-blink-caret-drracket-tool You should be able to install it with `raco pkg install https://github.com/LiberalArtist/disable-blink-caret-drracket-tool`. Hope this helps! -Philip On Saturday, November 28, 2020 at 3:

Re: [racket-users] DrRacket caret blink

2020-11-28 Thread Philip McGrath
On Sat, Nov 28, 2020 at 3:10 PM 'Mark' via Racket Users < racket-users@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.

Re: [racket-users] DrRacket caret blink

2020-11-28 Thread 'Mark' via Racket Users
I didn't know about that tool, I'll use it as I learn. Thanks! (But it is still a pity that there's no config option to turn off blinking in DrRacket.) On Saturday, November 28, 2020 at 5:10:07 PM UTC btme...@gmail.com wrote: > I'm not sure how to disable cursor blink in DrRacket, but your > in

Re: [racket-users] DrRacket caret blink

2020-11-28 Thread Tim Meehan
I'm not sure how to disable cursor blink in DrRacket, but your installation comes with a few other executables that are text only - such as "gracket-text" the cursor does not blink on my installation (MacOS, Racket 7.9 (bc)) On Sat, Nov 28, 2020 at 4:54 AM 'Mark' via Racket Users < racket-users@go