Re: [racket-users] Unusable mail group

2020-11-29 Thread Albert Wagner
Yes, thank you, John. I'm sorry to have bothered you. I have a google account but I never really go there. I think that I have it all straightened out now. On Sunday, November 29, 2020 at 2:52:09 PM UTC-6 johnbclements wrote: > It looks to me like there is a “My membership settings” pane in

Re: [racket-users] Unusable mail group

2020-11-29 Thread 'John Clements' via Racket Users
It looks to me like there is a “My membership settings” pane in the left of the google groups web interface that allows you to specify the “email used for membership”. I conjecture that this would control the delivery of group e-mails. I also strongly suspect that this will only allow you to

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

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

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