Subject: bug#76084: 31.0.50; Dragging tab line does not resize windows, unlike header line or mode line

From: martin rudalics <[email-masked]>
Date: Fri, 28 Feb 2025 10:25:27 +0100

> Thanks, I tried out your patch, and everything works nicely.
 > Looks like it's ready to be installed if Martin agrees?

I think it's ready.

BTW when I do M-x ruler-mode a second time in the same buffer I'm told

Ruler mode disabled in current buffer

but I still see the ruler.  It disappears only after a
'set-window-buffer'.  Is that the intended behavior for minor modes?

martin