Re: [racket-users] double titlebar effect

2020-05-06 Thread Robby Findler
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 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/CAGHj7-KX%3DOWh_iaM70qWJ8YqfCtw30ipVopRd3dSw%2BEEs081ng%40mail.gmail.com
> 
> .
>

-- 
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/CAL3TdOO7RkzY6Y9R1fLAtHcym0ibVehOc3xkGxtBJq_ny5T5cg%40mail.gmail.com.


[racket-users] double titlebar effect

2020-05-06 Thread Stephen De Gabrielle
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 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAGHj7-KX%3DOWh_iaM70qWJ8YqfCtw30ipVopRd3dSw%2BEEs081ng%40mail.gmail.com.