*** char-width returns the width (in columns) of the character CHAR,
if it were displayed in the current buffer and the selected window.