#include <time.h>
#include "gaw/gaw.h"
#include "app.h"
+#include "timer.h"
#include "rend.h"
#include "options.h"
#include "font.h"
}
}
- time_msec = app_getmsec();
+ time_msec = get_msec();
for(i=0; i<num_screens; i++) {
if(screens[i]->name && start_scr_name && strcmp(screens[i]->name, start_scr_name) == 0) {
void app_display(void)
{
- time_msec = app_getmsec();
+ time_msec = get_msec();
cur_scr->display();
}
void app_keyboard(int key, int press)
{
+ long msec;
+ static long prev_esc;
+
if(press) {
switch(key) {
#ifdef DBG_ESCQUIT
case 27:
- app_quit();
+ msec = get_msec();
+ if(msec - prev_esc < 1000) {
+ app_quit();
+ }
+ prev_esc = msec;
return;
#endif