Beta 12: 3309 still [BUG]

Note say, “Fixed Document title in Editor is tiny [#3309]”

Nope. Still tiny.

It is bigger than before. This is the size we plan on having by design.

It is bigger than before, granted. It’s 9 point type instead of whatever it was (it said, at the time, it was 9 points, but it looked more like 7).

Still tiny.

I know design decisions are compromises. But people have to use this. I know people who would have to get out a magnifier to read that, or turn on Windows magnification (which would make the rest of the interface unusable).

I’m sure there’s a workaround; i just have to find it.