Tab Style in DrRacket controlled by env var?

General
1

DrRacket has two different graphical tab styles for its editor windows. One looks like this:

image
image1248×208 34.5 KB

... and the other looks like this:

image
image1900×124 24.7 KB

I have two related questions. The first is probably pretty simple: what controls this difference? I was unable to find a preference for this in "Settings > General" or "Settings > Editing > General Editing".

The second is this: When I start DrRacket from the command line (that is, as a subprocess of a shell), I see one style. When I start it by double-clicking, I get the other. This leads me to believe that the difference can be controlled by ... an environment variable? Which is weird? My guess would be that it's something indirect, e.g. there's an environment variable which causes DrR to look in a different place for prefs first, or somehow the PATH is affecting the tab style somehow, but ... it's weird. Any thoughts?

1 Like
2

Look for PLT_FLAT_PORTABLE_TAB_PANEL

image
image1446×840 174 KB

3 Likes
3

Whoa! Reading docs for the win. Yep, that's exactly it, many thanks.

4

I'd expect this to be cpnfigured inside the IDE, perhaps with a message box that says "These changes will be aplied next time you open DrRacket"

5

I could be wrong, but I think the flat panel implementation is a vestige from the time where the tabs weren't using the native OS provided tabs. Removing it would have been a good idea - if it weren't for Windows. At least that's the impression I get from reading the Racket docs. But - can it be true that native Windows tabs doesn't support reordering?

Anyways, my point is that it doesn't make sense to add a preference for this.
I bet the environment variable is there, so one can work on the flat tabs on macOS.

1 Like
6

Yeah, that's the basic idea. We can't use the native tabs on all of the platforms, so we've got one written in Racket itself.

2 Likes