Merge lp:~widelands-dev/widelands/add_animation_option into lp:widelands
Proposed by
SirVer
Status: | Merged | ||||
---|---|---|---|---|---|
Merged at revision: | 8451 | ||||
Proposed branch: | lp:~widelands-dev/widelands/add_animation_option | ||||
Merge into: | lp:widelands | ||||
Diff against target: |
174 lines (+21/-3) 8 files modified
src/scripting/lua_ui.cc (+1/-1) src/ui_fsmenu/options.cc (+8/-1) src/ui_fsmenu/options.h (+2/-0) src/wlapplication.cc (+1/-0) src/wlapplication_messages.cc (+3/-0) src/wui/CMakeLists.txt (+1/-0) src/wui/mapview.cc (+4/-1) src/wui/mapview.h (+1/-0) |
||||
To merge this branch: | bzr merge lp:~widelands-dev/widelands/add_animation_option | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
GunChleoc | Approve | ||
Review via email: mp+330126@code.launchpad.net |
Commit message
Adds a new option "animate_
To post a comment you must log in.
As discussed in the attached bug, I added an option to disable map animating.