Fixed bugs:
The length of header-line will change along with:
the body font size changes
the window-body-size changes
How did fix it:
the font size in header-line is always fixed when the font size in body changed, but the computation of the length of header-line uses the body font size: (window-font-width nil 'default)
I changed it to header-line: (window-font-width nil 'header-line)
there are some modes change the window margin and width to center text, but
the computation of the length of header-line rely on the window-body-size, which sometimes changes in some modes, so replaced the window-body-size to window-total-size, and subtract the right divider width (/ (window-right-divider-width) char-width)
rougier
commented
3 years ago
Fixed bugs: The length of header-line will change along with:
the body font size changes
the window-body-size changes
How did fix it:
the font size in header-line is always fixed when the font size in body changed, but the computation of the length of header-line uses the body font size:
(window-font-width nil 'default)I changed it toheader-line:(window-font-width nil 'header-line)there are some modes change the window margin and width to center text, but the computation of the length of header-line rely on the
window-body-size, which sometimes changes in some modes, so replaced thewindow-body-sizetowindow-total-size, and subtract the right divider width(/ (window-right-divider-width) char-width)