settings: Make viewwidth, viewlength "int"s instead of pointers.
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 29 Aug 2010 18:37:19 +0000 (11:37 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 29 Aug 2010 21:57:56 +0000 (14:57 -0700)
I don't recall exactly why these were pointers any longer, but it doesn't
seem to be necessary any longer.  It is more straightforward if they are
just stored in the same way as the other settings.


No differences found