window_body_unit_from_symbol 1158 src/window.c   			      window_body_unit_from_symbol (pixelwise))));
window_body_unit_from_symbol 1178 src/window.c   			       window_body_unit_from_symbol (pixelwise))));