On Tue, Apr 1, 2025 at 4:33 AM martin rudalics <rudalics@gmx.at> wrote:
 > I didn't alter tab-bar-mode to tab-bar-lines as Martin
 > suggested.

When did I suggest that?  IIRC I only said that I don't know which of
the two you wanted to fix.

I meant this suggestion you made "(> (frame-parameter frame 'tab-bar-lines) 0) is more reliable" than "((and tab-bar-mode";