mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-08 04:35:36 +00:00
Continue to clean 2008-03-03T05:40:29Z!davewx7@gmail.com
This fix the revert of 2008-02-12T20:49:21Z!martinxyz@gmx.ch and 2008-02-02T08:13:23Z!martinxyz@gmx.ch
This commit is contained in:
parent
d07e396d59
commit
819cfc9cee
@ -276,10 +276,14 @@ void play_controller::show_help(){
|
||||
}
|
||||
|
||||
void play_controller::undo(){
|
||||
// deselect unit (only here, not to be done when undoing attack-move)
|
||||
mouse_handler_.deselect_hex();
|
||||
menu_handler_.undo(player_number_);
|
||||
}
|
||||
|
||||
void play_controller::redo(){
|
||||
// deselect unit (only here, not to be done when undoing attack-move)
|
||||
mouse_handler_.deselect_hex();
|
||||
menu_handler_.redo(player_number_);
|
||||
}
|
||||
|
||||
@ -416,7 +420,7 @@ void play_controller::init_side(const unsigned int team_index, bool /*is_replay*
|
||||
gui_->invalidate_all();
|
||||
}
|
||||
|
||||
if (!recorder.is_skipping()){
|
||||
if (!recorder.is_skipping() && !skip_replay_){
|
||||
gui_->scroll_to_leader(units_, player_number_);
|
||||
}
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user