updated URL of forum and table in readme file
[neverball] / share / config.c
1 /*
2  * Copyright (C) 2003 Robert Kooima
3  *
4  * NEVERBALL is  free software; you can redistribute  it and/or modify
5  * it under the  terms of the GNU General  Public License as published
6  * by the Free  Software Foundation; either version 2  of the License,
7  * or (at your option) any later version.
8  *
9  * This program is distributed in the hope that it will be useful, but
10  * WITHOUT  ANY  WARRANTY;  without   even  the  implied  warranty  of
11  * MERCHANTABILITY or  FITNESS FOR A PARTICULAR PURPOSE.   See the GNU
12  * General Public License for more details.
13  */
14
15 #include <SDL.h>
16 #include <SDL_mixer.h>
17 #include <stdlib.h>
18 #include <string.h>
19 #include <stdio.h>
20 #include <errno.h>
21 #include <math.h>
22
23 #include "config.h"
24 #include "glext.h"
25 #include "vec3.h"
26
27 /*---------------------------------------------------------------------------*/
28
29 /* Define the mkdir symbol. */
30
31 #ifdef _WIN32
32 #include <direct.h>
33 #else
34 #include <sys/stat.h>
35 #endif
36
37 /*---------------------------------------------------------------------------*/
38
39 static int   option_d[CONFIG_OPTION_D_COUNT];
40 static char *option_s[CONFIG_OPTION_S_COUNT];
41
42 static int dirty = 0;
43
44 /*---------------------------------------------------------------------------*/
45
46 static void config_key(const char *s, int i, int d)
47 {
48     int c;
49
50     config_set_d(i, d);
51
52     for (c = 0; c < SDLK_LAST; c++)
53         if (strcmp(s, SDL_GetKeyName(c)) == 0)
54         {
55             config_set_d(i, c);
56             break;
57         }
58 }
59
60 /*---------------------------------------------------------------------------*/
61
62 void config_init(void)
63 {
64     memset(option_d, 0, sizeof (option_d));
65     memset(option_s, 0, sizeof (option_s));
66
67     config_set_d(CONFIG_FULLSCREEN,           DEFAULT_FULLSCREEN);
68     config_set_d(CONFIG_WIDTH,                DEFAULT_WIDTH);
69     config_set_d(CONFIG_HEIGHT,               DEFAULT_HEIGHT);
70     config_set_d(CONFIG_STEREO,               DEFAULT_STEREO);
71     config_set_d(CONFIG_CAMERA,               DEFAULT_CAMERA);
72     config_set_d(CONFIG_TEXTURES,             DEFAULT_TEXTURES);
73     config_set_d(CONFIG_GEOMETRY,             DEFAULT_GEOMETRY);
74     config_set_d(CONFIG_REFLECTION,           DEFAULT_REFLECTION);
75     config_set_d(CONFIG_BACKGROUND,           DEFAULT_BACKGROUND);
76     config_set_d(CONFIG_SHADOW,               DEFAULT_SHADOW);
77     config_set_d(CONFIG_AUDIO_RATE,           DEFAULT_AUDIO_RATE);
78     config_set_d(CONFIG_AUDIO_BUFF,           DEFAULT_AUDIO_BUFF);
79     config_set_d(CONFIG_MOUSE_SENSE,          DEFAULT_MOUSE_SENSE);
80     config_set_d(CONFIG_MOUSE_INVERT,         DEFAULT_MOUSE_INVERT);
81     config_set_d(CONFIG_NICE,                 DEFAULT_NICE);
82     config_set_d(CONFIG_FPS,                  DEFAULT_FPS);
83     config_set_d(CONFIG_SOUND_VOLUME,         DEFAULT_SOUND_VOLUME);
84     config_set_d(CONFIG_MUSIC_VOLUME,         DEFAULT_MUSIC_VOLUME);
85     config_set_d(CONFIG_JOYSTICK,             DEFAULT_JOYSTICK);
86     config_set_d(CONFIG_JOYSTICK_DEVICE,      DEFAULT_JOYSTICK_DEVICE);
87     config_set_d(CONFIG_JOYSTICK_AXIS_X,      DEFAULT_JOYSTICK_AXIS_X);
88     config_set_d(CONFIG_JOYSTICK_AXIS_Y,      DEFAULT_JOYSTICK_AXIS_Y);
89     config_set_d(CONFIG_JOYSTICK_BUTTON_A,    DEFAULT_JOYSTICK_BUTTON_A);
90     config_set_d(CONFIG_JOYSTICK_BUTTON_B,    DEFAULT_JOYSTICK_BUTTON_B);
91     config_set_d(CONFIG_JOYSTICK_BUTTON_L,    DEFAULT_JOYSTICK_BUTTON_L);
92     config_set_d(CONFIG_JOYSTICK_BUTTON_R,    DEFAULT_JOYSTICK_BUTTON_R);
93     config_set_d(CONFIG_JOYSTICK_BUTTON_EXIT, DEFAULT_JOYSTICK_BUTTON_EXIT);
94     config_set_d(CONFIG_JOYSTICK_CAMERA_1,    DEFAULT_JOYSTICK_CAMERA_1);
95     config_set_d(CONFIG_JOYSTICK_CAMERA_2,    DEFAULT_JOYSTICK_CAMERA_2);
96     config_set_d(CONFIG_JOYSTICK_CAMERA_3,    DEFAULT_JOYSTICK_CAMERA_3);
97     config_set_d(CONFIG_KEY_CAMERA_1,         DEFAULT_KEY_CAMERA_1);
98     config_set_d(CONFIG_KEY_CAMERA_2,         DEFAULT_KEY_CAMERA_2);
99     config_set_d(CONFIG_KEY_CAMERA_3,         DEFAULT_KEY_CAMERA_3);
100     config_set_d(CONFIG_KEY_CAMERA_R,         DEFAULT_KEY_CAMERA_R);
101     config_set_d(CONFIG_KEY_CAMERA_L,         DEFAULT_KEY_CAMERA_L);
102     config_set_d(CONFIG_VIEW_FOV,             DEFAULT_VIEW_FOV);
103     config_set_d(CONFIG_VIEW_DP,              DEFAULT_VIEW_DP);
104     config_set_d(CONFIG_VIEW_DC,              DEFAULT_VIEW_DC);
105     config_set_d(CONFIG_VIEW_DZ,              DEFAULT_VIEW_DZ);
106     config_set_d(CONFIG_ROTATE_FAST,          DEFAULT_ROTATE_FAST);
107     config_set_d(CONFIG_ROTATE_SLOW,          DEFAULT_ROTATE_SLOW);
108     config_set_d(CONFIG_MODE,                 DEFAULT_MODE);
109     config_set_d(CONFIG_CHEAT,                DEFAULT_CHEAT);
110     config_set_s(CONFIG_PLAYER,               DEFAULT_PLAYER);
111     config_set_s(CONFIG_BALL,                 DEFAULT_BALL);
112     config_set_s(CONFIG_BALL_BONUS,           DEFAULT_BALL_BONUS);
113     config_set_s(CONFIG_LANG,                 DEFAULT_LANG);
114 }
115
116 void config_load(void)
117 {
118     FILE *fp;
119
120     if ((fp = fopen(config_user(USER_CONFIG_FILE), "r")))
121     {
122         char buf[MAXSTR];
123         char key[MAXSTR];
124         char val[MAXSTR];
125
126         while (fgets(buf, MAXSTR, fp))
127             if (sscanf(buf, "%s %s", key, val) == 2)
128             {
129                 if      (strcmp(key, "fullscreen")            == 0)
130                     config_set_d(CONFIG_FULLSCREEN,           atoi(val));
131                 else if (strcmp(key, "width")                 == 0)
132                     config_set_d(CONFIG_WIDTH,                atoi(val));
133                 else if (strcmp(key, "height")                == 0)
134                     config_set_d(CONFIG_HEIGHT,               atoi(val));
135                 else if (strcmp(key, "stereo")                == 0)
136                     config_set_d(CONFIG_STEREO,               atoi(val));
137                 else if (strcmp(key, "camera")                == 0)
138                     config_set_d(CONFIG_CAMERA,               atoi(val));
139                 else if (strcmp(key, "textures")              == 0)
140                     config_set_d(CONFIG_TEXTURES,             atoi(val));
141                 else if (strcmp(key, "geometry")              == 0)
142                     config_set_d(CONFIG_GEOMETRY,             atoi(val));
143                 else if (strcmp(key, "reflection")            == 0)
144                     config_set_d(CONFIG_REFLECTION,           atoi(val));
145                 else if (strcmp(key, "background")            == 0)
146                     config_set_d(CONFIG_BACKGROUND,           atoi(val));
147                 else if (strcmp(key, "shadow")                == 0)
148                     config_set_d(CONFIG_SHADOW,               atoi(val));
149                 else if (strcmp(key, "audio_rate")            == 0)
150                     config_set_d(CONFIG_AUDIO_RATE,           atoi(val));
151                 else if (strcmp(key, "audio_buff")            == 0)
152                     config_set_d(CONFIG_AUDIO_BUFF,           atoi(val));
153                 else if (strcmp(key, "mouse_sense")           == 0)
154                     config_set_d(CONFIG_MOUSE_SENSE,          atoi(val));
155                 else if (strcmp(key, "mouse_invert")          == 0)
156                     config_set_d(CONFIG_MOUSE_INVERT,         atoi(val));
157                 else if (strcmp(key, "nice")                  == 0)
158                     config_set_d(CONFIG_NICE,                 atoi(val));
159                 else if (strcmp(key, "fps")                   == 0)
160                     config_set_d(CONFIG_FPS,                  atoi(val));
161                 else if (strcmp(key, "sound_volume")          == 0)
162                     config_set_d(CONFIG_SOUND_VOLUME,         atoi(val));
163                 else if (strcmp(key, "music_volume")          == 0)
164                     config_set_d(CONFIG_MUSIC_VOLUME,         atoi(val));
165                 else if (strcmp(key, "joystick")              == 0)
166                     config_set_d(CONFIG_JOYSTICK,             atoi(val));
167                 else if (strcmp(key, "joystick_device")       == 0)
168                     config_set_d(CONFIG_JOYSTICK_DEVICE,      atoi(val));
169                 else if (strcmp(key, "joystick_axis_x")       == 0)
170                     config_set_d(CONFIG_JOYSTICK_AXIS_X,      atoi(val));
171                 else if (strcmp(key, "joystick_axis_y")       == 0)
172                     config_set_d(CONFIG_JOYSTICK_AXIS_Y,      atoi(val));
173                 else if (strcmp(key, "joystick_button_a")     == 0)
174                     config_set_d(CONFIG_JOYSTICK_BUTTON_A,    atoi(val));
175                 else if (strcmp(key, "joystick_button_b")     == 0)
176                     config_set_d(CONFIG_JOYSTICK_BUTTON_B,    atoi(val));
177                 else if (strcmp(key, "joystick_button_r")     == 0)
178                     config_set_d(CONFIG_JOYSTICK_BUTTON_R,    atoi(val));
179                 else if (strcmp(key, "joystick_button_l")     == 0)
180                     config_set_d(CONFIG_JOYSTICK_BUTTON_L,    atoi(val));
181                 else if (strcmp(key, "joystick_button_exit")  == 0)
182                     config_set_d(CONFIG_JOYSTICK_BUTTON_EXIT, atoi(val));
183                 else if (strcmp(key, "joystick_camera_1")     == 0)
184                     config_set_d(CONFIG_JOYSTICK_CAMERA_1,    atoi(val));
185                 else if (strcmp(key, "joystick_camera_2")     == 0)
186                     config_set_d(CONFIG_JOYSTICK_CAMERA_2,    atoi(val));
187                 else if (strcmp(key, "joystick_camera_3")     == 0)
188                     config_set_d(CONFIG_JOYSTICK_CAMERA_3,    atoi(val));
189                 else if (strcmp(key, "view_fov")              == 0)
190                     config_set_d(CONFIG_VIEW_FOV,             atoi(val));
191                 else if (strcmp(key, "view_dp")               == 0)
192                     config_set_d(CONFIG_VIEW_DP,              atoi(val));
193                 else if (strcmp(key, "view_dc")               == 0)
194                     config_set_d(CONFIG_VIEW_DC,              atoi(val));
195                 else if (strcmp(key, "view_dz")               == 0)
196                     config_set_d(CONFIG_VIEW_DZ,              atoi(val));
197                 else if (strcmp(key, "rotate_fast")           == 0)
198                     config_set_d(CONFIG_ROTATE_FAST,          atoi(val));
199                 else if (strcmp(key, "rotate_slow")           == 0)
200                     config_set_d(CONFIG_ROTATE_SLOW,          atoi(val));
201                 else if (strcmp(key, "mode")                  == 0)
202                     config_set_d(CONFIG_MODE,                 atoi(val));
203                 else if (strcmp(key, "cheat") == 0 && ALLOW_CHEAT)
204                     config_set_d(CONFIG_CHEAT,                atoi(val));
205
206                 else if (strcmp(key, "key_camera_1")  == 0)
207                     config_key(val, CONFIG_KEY_CAMERA_1, DEFAULT_KEY_CAMERA_1);
208                 else if (strcmp(key, "key_camera_2")  == 0)
209                     config_key(val, CONFIG_KEY_CAMERA_2, DEFAULT_KEY_CAMERA_2);
210                 else if (strcmp(key, "key_camera_3")  == 0)
211                     config_key(val, CONFIG_KEY_CAMERA_3, DEFAULT_KEY_CAMERA_3);
212                 else if (strcmp(key, "key_camera_r")  == 0)
213                     config_key(val, CONFIG_KEY_CAMERA_R, DEFAULT_KEY_CAMERA_R);
214                 else if (strcmp(key, "key_camera_l")  == 0)
215                     config_key(val, CONFIG_KEY_CAMERA_L, DEFAULT_KEY_CAMERA_L);
216
217                 else if (strcmp(key, "player")     == 0)
218                     config_set_s(CONFIG_PLAYER,     val);
219                 else if (strcmp(key, "ball")       == 0)
220                     config_set_s(CONFIG_BALL,       val);
221                 else if (strcmp(key, "ball_bonus") == 0)
222                     config_set_s(CONFIG_BALL_BONUS, val);
223                 else if (strcmp(key, "lang")       == 0)
224                     config_set_s(CONFIG_LANG,       val);
225             }
226
227         fclose(fp);
228
229         dirty = 0;
230     }
231 }
232
233 void config_save(void)
234 {
235     FILE *fp;
236
237     if (dirty && (fp = fopen(config_user(USER_CONFIG_FILE), "w")))
238     {
239         fprintf(fp, "fullscreen           %d\n",
240                 option_d[CONFIG_FULLSCREEN]);
241         fprintf(fp, "width                %d\n",
242                 option_d[CONFIG_WIDTH]);
243         fprintf(fp, "height               %d\n",
244                 option_d[CONFIG_HEIGHT]);
245         fprintf(fp, "stereo               %d\n",
246                 option_d[CONFIG_STEREO]);
247         fprintf(fp, "camera               %d\n",
248                 option_d[CONFIG_CAMERA]);
249         fprintf(fp, "textures             %d\n",
250                 option_d[CONFIG_TEXTURES]);
251         fprintf(fp, "geometry             %d\n",
252                 option_d[CONFIG_GEOMETRY]);
253         fprintf(fp, "reflection           %d\n",
254                 option_d[CONFIG_REFLECTION]);
255         fprintf(fp, "background           %d\n",
256                 option_d[CONFIG_BACKGROUND]);
257         fprintf(fp, "shadow               %d\n",
258                 option_d[CONFIG_SHADOW]);
259         fprintf(fp, "audio_rate           %d\n",
260                 option_d[CONFIG_AUDIO_RATE]);
261         fprintf(fp, "audio_buff           %d\n",
262                 option_d[CONFIG_AUDIO_BUFF]);
263         fprintf(fp, "mouse_sense          %d\n",
264                 option_d[CONFIG_MOUSE_SENSE]);
265         fprintf(fp, "mouse_invert         %d\n",
266                 option_d[CONFIG_MOUSE_INVERT]);
267         fprintf(fp, "nice                 %d\n",
268                 option_d[CONFIG_NICE]);
269         fprintf(fp, "fps                  %d\n",
270                 option_d[CONFIG_FPS]);
271         fprintf(fp, "sound_volume         %d\n",
272                 option_d[CONFIG_SOUND_VOLUME]);
273         fprintf(fp, "music_volume         %d\n",
274                 option_d[CONFIG_MUSIC_VOLUME]);
275         fprintf(fp, "joystick             %d\n",
276                 option_d[CONFIG_JOYSTICK]);
277         fprintf(fp, "joystick_device      %d\n",
278                 option_d[CONFIG_JOYSTICK_DEVICE]);
279         fprintf(fp, "joystick_axis_x      %d\n",
280                 option_d[CONFIG_JOYSTICK_AXIS_X]);
281         fprintf(fp, "joystick_axis_y      %d\n",
282                 option_d[CONFIG_JOYSTICK_AXIS_Y]);
283         fprintf(fp, "joystick_button_a    %d\n",
284                 option_d[CONFIG_JOYSTICK_BUTTON_A]);
285         fprintf(fp, "joystick_button_b    %d\n",
286                 option_d[CONFIG_JOYSTICK_BUTTON_B]);
287         fprintf(fp, "joystick_button_r    %d\n",
288                 option_d[CONFIG_JOYSTICK_BUTTON_R]);
289         fprintf(fp, "joystick_button_l    %d\n",
290                 option_d[CONFIG_JOYSTICK_BUTTON_L]);
291         fprintf(fp, "joystick_button_exit %d\n",
292                 option_d[CONFIG_JOYSTICK_BUTTON_EXIT]);
293         fprintf(fp, "joystick_camera_1    %d\n",
294                 option_d[CONFIG_JOYSTICK_CAMERA_1]);
295         fprintf(fp, "joystick_camera_2    %d\n",
296                 option_d[CONFIG_JOYSTICK_CAMERA_2]);
297         fprintf(fp, "joystick_camera_3    %d\n",
298                 option_d[CONFIG_JOYSTICK_CAMERA_3]);
299         fprintf(fp, "view_fov             %d\n",
300                 option_d[CONFIG_VIEW_FOV]);
301         fprintf(fp, "view_dp              %d\n",
302                 option_d[CONFIG_VIEW_DP]);
303         fprintf(fp, "view_dc              %d\n",
304                 option_d[CONFIG_VIEW_DC]);
305         fprintf(fp, "view_dz              %d\n",
306                 option_d[CONFIG_VIEW_DZ]);
307         fprintf(fp, "rotate_fast          %d\n",
308                 option_d[CONFIG_ROTATE_FAST]);
309         fprintf(fp, "rotate_slow          %d\n",
310                 option_d[CONFIG_ROTATE_SLOW]);
311         fprintf(fp, "mode                 %d\n",
312                 option_d[CONFIG_MODE]);
313
314         if (option_d[CONFIG_CHEAT])
315             fprintf(fp,
316                     "cheat                %d\n",
317                     option_d[CONFIG_CHEAT]);
318
319         fprintf(fp, "key_camera_1         %s\n",
320                 SDL_GetKeyName(option_d[CONFIG_KEY_CAMERA_1]));
321         fprintf(fp, "key_camera_2         %s\n",
322                 SDL_GetKeyName(option_d[CONFIG_KEY_CAMERA_2]));
323         fprintf(fp, "key_camera_3         %s\n",
324                 SDL_GetKeyName(option_d[CONFIG_KEY_CAMERA_3]));
325         fprintf(fp, "key_camera_r         %s\n",
326                 SDL_GetKeyName(option_d[CONFIG_KEY_CAMERA_R]));
327         fprintf(fp, "key_camera_l         %s\n",
328                 SDL_GetKeyName(option_d[CONFIG_KEY_CAMERA_L]));
329
330         fprintf(fp, "player               %s\n", option_s[CONFIG_PLAYER]);
331         fprintf(fp, "ball                 %s\n", option_s[CONFIG_BALL]);
332         fprintf(fp, "ball_bonus           %s\n", option_s[CONFIG_BALL_BONUS]);
333         fprintf(fp, "lang                 %s\n", option_s[CONFIG_LANG]);
334
335         fclose(fp);
336     }
337
338     dirty = 0;
339 }
340
341 /*---------------------------------------------------------------------------*/
342
343 int config_mode(int f, int w, int h)
344 {
345     int stereo  = config_get_d(CONFIG_STEREO)     ? 1 : 0;
346     int stencil = config_get_d(CONFIG_REFLECTION) ? 1 : 0;
347
348     SDL_GL_SetAttribute(SDL_GL_STEREO,       stereo);
349     SDL_GL_SetAttribute(SDL_GL_STENCIL_SIZE, stencil);
350
351     /* Try to set the currently specified mode. */
352
353     if (SDL_SetVideoMode(w, h, 0, SDL_OPENGL | (f ? SDL_FULLSCREEN : 0)))
354     {
355         config_set_d(CONFIG_FULLSCREEN, f);
356         config_set_d(CONFIG_WIDTH, w);
357         config_set_d(CONFIG_HEIGHT, h);
358
359         glViewport(0, 0, w, h);
360         glClearColor(0.0f, 0.0f, 0.1f, 0.0f);
361
362         glEnable(GL_NORMALIZE);
363         glEnable(GL_CULL_FACE);
364         glEnable(GL_DEPTH_TEST);
365         glEnable(GL_TEXTURE_2D);
366         glEnable(GL_LIGHTING);
367
368         return 1;
369     }
370
371     /* If the mode failed, try it without stereo. */
372
373     else if (stereo)
374     {
375         config_set_d(CONFIG_STEREO, 0);
376         return config_mode(f, w, h);
377     }
378
379     /* If that mode failed, try it without reflections. */
380
381     else if (stencil)
382     {
383         config_set_d(CONFIG_REFLECTION, 0);
384         return config_mode(f, w, h);
385     }
386
387     /* If THAT mode failed, punt. */
388
389     return 0;
390 }
391
392 /*---------------------------------------------------------------------------*/
393
394 void config_set_d(int i, int d)
395 {
396     option_d[i] = d;
397     dirty = 1;
398 }
399
400 void config_tgl_d(int i)
401 {
402     option_d[i] = (option_d[i] ? 0 : 1);
403     dirty = 1;
404 }
405
406 int config_tst_d(int i, int d)
407 {
408     return (option_d[i] == d) ? 1 : 0;
409 }
410
411 int config_get_d(int i)
412 {
413     return option_d[i];
414 }
415
416 /*---------------------------------------------------------------------------*/
417
418 void config_set_s(int i, const char *src)
419 {
420     int len = (int) strlen(src);
421
422     if (option_s[i])
423         free(option_s[i]);
424
425     if ((option_s[i] = (char *) malloc(len + 1)))
426         strncpy(option_s[i], src, len + 1);
427
428     dirty = 1;
429 }
430
431 void config_get_s(int i, char *dst, int len)
432 {
433     strncpy(dst, option_s[i], len);
434 }
435
436 const char *config_simple_get_s(int i)
437 {
438     return option_s[i];
439 }
440
441 /*---------------------------------------------------------------------------*/
442
443 static int grabbed = 0;
444 static int paused  = 0;
445
446 void config_set_grab(void)
447 {
448     SDL_WarpMouse(config_get_d(CONFIG_WIDTH)  / 2,
449                   config_get_d(CONFIG_HEIGHT) / 2);
450     SDL_WM_GrabInput(SDL_GRAB_ON);
451     SDL_ShowCursor(SDL_DISABLE);
452     grabbed = 1;
453 }
454
455 void config_clr_grab(void)
456 {
457     SDL_WM_GrabInput(SDL_GRAB_OFF);
458     SDL_ShowCursor(SDL_ENABLE);
459     grabbed = 0;
460 }
461
462 int  config_get_grab(void)
463 {
464     return grabbed;
465 }
466
467 int  config_get_pause(void)
468 {
469     return paused;
470 }
471
472 void config_set_pause(void)
473 {
474     Mix_PauseMusic();
475     paused = 1;
476
477     if (grabbed)
478     {
479         SDL_ShowCursor(SDL_ENABLE);
480         SDL_WM_GrabInput(SDL_GRAB_OFF);
481     }
482 }
483
484 void config_clr_pause(void)
485 {
486     Mix_ResumeMusic();
487     paused = 0;
488
489     if (grabbed)
490     {
491         SDL_WM_GrabInput(SDL_GRAB_ON);
492         SDL_ShowCursor(SDL_DISABLE);
493     }
494 }
495
496 void config_tgl_pause(void)
497 {
498     if (paused)
499         config_clr_pause();
500     else
501         config_set_pause();
502 }
503 /*---------------------------------------------------------------------------*/
504
505 void config_push_persp(float fov, float n, float f)
506 {
507     GLdouble m[4][4];
508
509     GLdouble r = fov / 2 * V_PI / 180;
510     GLdouble s = sin(r);
511     GLdouble c = cos(r) / s;
512
513     GLdouble a = ((GLdouble) option_d[CONFIG_WIDTH] /
514                   (GLdouble) option_d[CONFIG_HEIGHT]);
515
516     glMatrixMode(GL_PROJECTION);
517     {
518         glPushMatrix();
519         glLoadIdentity();
520
521         m[0][0] =  c/a;
522         m[0][1] =  0.0;
523         m[0][2] =  0.0;
524         m[0][3] =  0.0;
525         m[1][0] =  0.0;
526         m[1][1] =    c;
527         m[1][2] =  0.0;
528         m[1][3] =  0.0;
529         m[2][0] =  0.0;
530         m[2][1] =  0.0;
531         m[2][2] = -(f + n) / (f - n);
532         m[2][3] = -1.0;
533         m[3][0] =  0.0;
534         m[3][1] =  0.0;
535         m[3][2] = -2.0 * n * f / (f - n);
536         m[3][3] =  0.0;
537
538         glMultMatrixd(&m[0][0]);
539     }
540     glMatrixMode(GL_MODELVIEW);
541 }
542
543 void config_push_ortho(void)
544 {
545     GLdouble w = (GLdouble) option_d[CONFIG_WIDTH];
546     GLdouble h = (GLdouble) option_d[CONFIG_HEIGHT];
547
548     glMatrixMode(GL_PROJECTION);
549     {
550         glPushMatrix();
551         glLoadIdentity();
552         glOrtho(0.0, w, 0.0, h, -1.0, +1.0);
553     }
554     glMatrixMode(GL_MODELVIEW);
555 }
556
557 void config_pop_matrix(void)
558 {
559     glMatrixMode(GL_PROJECTION);
560     {
561         glPopMatrix();
562     }
563     glMatrixMode(GL_MODELVIEW);
564 }
565
566 void config_clear(void)
567 {
568     if (option_d[CONFIG_REFLECTION])
569         glClear(GL_COLOR_BUFFER_BIT |
570                 GL_DEPTH_BUFFER_BIT |
571                 GL_STENCIL_BUFFER_BIT);
572     else
573         glClear(GL_COLOR_BUFFER_BIT |
574                 GL_DEPTH_BUFFER_BIT);
575 }
576
577 /*---------------------------------------------------------------------------*/