char_to_pixel_size 194 src/widget.c char_to_pixel_size (ew, char_width, char_height, char_to_pixel_size 292 src/widget.c char_to_pixel_size (ew, char_width, char_height,