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;