*
* Permission to use, copy, modify, distribute, and sell this software and its
* documentation for any purpose is hereby granted without fee, provided that
*
* Permission to use, copy, modify, distribute, and sell this software and its
* documentation for any purpose is hereby granted without fee, provided that
glLoadIdentity();
glViewport (0, 0, window_width, window_height);
glLoadIdentity();
glViewport (0, 0, window_width, window_height);
if (scale < 1) scale = 1;
/* jwxyz-XLoadFont has already doubled the font size, to compensate
if (scale < 1) scale = 1;
/* jwxyz-XLoadFont has already doubled the font size, to compensate