undo_end           81 modules/games/gui_sokoban.c static int undo_begin, undo_end, undo_curr;
undo_end          103 modules/games/gui_sokoban.c     undo_end=undo_curr;
undo_end          133 modules/games/gui_sokoban.c     if (undo_curr!=undo_end) {
undo_end          154 modules/games/gui_sokoban.c     undo_begin=undo_end=undo_curr=0;