Ok, I'm going to see if deleting DrRacket.app and re-installing will solve that extra-tab-bar problem.
orivej has quit [Ping timeout: 246 seconds]
orivej has joined #racket
Hm. That didn't work. There's a preference file somewhere I can't find.
orivej has quit [Ping timeout: 256 seconds]
Hm. Installed DrRacket on a fresh machine, and the macos supplied tab bar is not there, nor is the menu item I'd selected earlier (on the affected machine).
On the new machine, an "Enter Full Screen" item existed. When I selected that, I got full screen, and the View menu had options for showing/hiding the tab bar. After quitting and restarting the app, the "full screen" option is gone forever.
badkins has joined #racket
badkins has quit [Ping timeout: 244 seconds]
sagax has quit [Quit: Konversation terminated!]
I can see this in the saved state plist: "NSWindowTabbingShoudShowTabBarKey-RacketWindow-RacketWindow-(null)-VT-FS". The word "Should" is misspelled.