Gtk+3: Replace deprecated gtk_cell_renderer_get_size with gtk_cell_renderer_get_prefe...
[pspp] / src / ui / terminal / terminal.h
2007-09-26 Ben PfaffPatch #6210: implement ability to resize output device...