Re: [racket-users] double titlebar effect

Looks like a problem with the tabs maybe? How does it look if you make a new tab? Robby On Wed, May 6, 2020 at 3:18 PM Stephen De Gabrielle wrote: > Hi, > Any other racketeers seeing this? > [image: image.png] > > DrRacket 7.7 cs and macOS Catalina > > Kind regards > Stephen > > -- > You recei

[racket-users] double titlebar effect

Hi, Any other racketeers seeing this? [image: image.png] DrRacket 7.7 cs and macOS Catalina Kind regards Stephen -- 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 t