| version 1.29 | | version 1.30 |
|---|
| | |
| * main() for Inferno | | * main() for Inferno |
| * | | * |
| * $Log$ | | * $Log$ |
| | | * Revision 1.30 2002/04/01 01:42:11 donut |
| | | * restore inferno.c initialization of screen_compatible and use_double_buffer to 'normal' values, broken long long ago in one of the high res menu patches |
| | | * |
| * Revision 1.29 2002/04/01 01:21:57 donut | | * Revision 1.29 2002/04/01 01:21:57 donut |
| * allow arbitrary resolutions to be specified on command line | | * allow arbitrary resolutions to be specified on command line |
| * | | * |
| | |
| int screen_width = 640; | | int screen_width = 640; |
| int screen_height = 480; | | int screen_height = 480; |
| int vr_mode = VR_NONE; | | int vr_mode = VR_NONE; |
| int screen_compatible = 1; | | int screen_compatible = 0; |
| int use_double_buffer = 0; | | int use_double_buffer = 1; |
| | | |
| if (FindResArg("", &screen_width, &screen_height)) { | | if (FindResArg("", &screen_width, &screen_height)) { |
| if (screen_width==320 && screen_height==200) | | if (screen_width==320 && screen_height==200){ |
| screen_compatible=1; | | screen_compatible=1; |
| else | | use_double_buffer = 0; |
| screen_compatible=0; | | } |
| | | else if (screen_width==320 && screen_height==100){ |
| | | use_double_buffer = 0; |
| | | } |
| | | |
| if (Inferno_verbose) | | if (Inferno_verbose) |
| printf( "Using %ix%i ...\n", screen_width, screen_height); | | printf( "Using %ix%i ...\n", screen_width, screen_height); |