width of line numbers

[Joost Kremers]

Hi all,

I was wondering if there's a way to find out the width of the current line
number display (with `display-line-number-mode`, not `linum-mode`).

Or, alternatively, get the window width without the line number. Both
`window-body-width` and `window-total-width` (why are there two functions, BTW?)
report the width of the text area without "dividers, scrollbars, margins,
fringes", but the line number display is still included.

TIA


-- 
Joost Kremers
Life has its moments