settings: Make viewwidth, viewlength "int"s instead of pointers.
[pspp] / src / ui / terminal / terminal.c
2010-08-29 Ben Pfaffsettings: Make viewwidth, viewlength "int"s instead...
2008-04-18 John DarringtonClose patch #6492
2007-09-26 Ben PfaffPatch #6210: implement ability to resize output device...