undo_end           80 modules/games/gui_sokoban.c static int undo_begin, undo_end, undo_curr;
undo_end          102 modules/games/gui_sokoban.c     undo_end=undo_curr;
undo_end          132 modules/games/gui_sokoban.c     if (undo_curr!=undo_end) {
undo_end          153 modules/games/gui_sokoban.c     undo_begin=undo_end=undo_curr=0;