might end up with a frame width that is not a multiple of the
frame's character width which is bad for vertically split
windows. */
might end up with a frame width that is not a multiple of the
frame's character width which is bad for vertically split
windows. */