Merge lp:~widelands-dev/widelands/bug_156675_editor_initial_tool into lp:widelands
Proposed by
kaputtnik
Status: | Merged | ||||
---|---|---|---|---|---|
Merged at revision: | 7961 | ||||
Proposed branch: | lp:~widelands-dev/widelands/bug_156675_editor_initial_tool | ||||
Merge into: | lp:widelands | ||||
Diff against target: |
56 lines (+8/-8) 2 files modified
src/editor/editorinteractive.cc (+1/-1) src/editor/editorinteractive.h (+7/-7) |
||||
To merge this branch: | bzr merge lp:~widelands-dev/widelands/bug_156675_editor_initial_tool | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
GunChleoc | Approve | ||
Review via email: mp+291920@code.launchpad.net |
Commit message
Use info tool as initial tool for the editor
Fixes bug 1566675
Description of the change
For the editor use the info tool as initial tool instead of the increase_height tool
Adjusted some spaces to have a nicer look.
To post a comment you must log in.
Continuous integration builds have changed state:
Travis build 1010. State: passed. Details: https:/ /travis- ci.org/ widelands/ widelands/ builds/ 123111973. /ci.appveyor. com/project/ widelands- dev/widelands/ build/_ widelands_ dev_widelands_ bug_156675_ editor_ initial_ tool-843.
Appveyor build 843. State: success. Details: https:/