Merge lp:~widelands-dev/widelands/fix_huge_boxes into lp:widelands
Proposed by
SirVer
Status: | Merged | ||||
---|---|---|---|---|---|
Merged at revision: | 7750 | ||||
Proposed branch: | lp:~widelands-dev/widelands/fix_huge_boxes | ||||
Merge into: | lp:widelands | ||||
Diff against target: |
125 lines (+19/-25) 3 files modified
src/ui_basic/box.cc (+13/-17) src/ui_basic/box.h (+3/-2) src/ui_basic/listselect.cc (+3/-6) |
||||
To merge this branch: | bzr merge lp:~widelands-dev/widelands/fix_huge_boxes | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Widelands Developers | Pending | ||
Review via email: mp+284176@code.launchpad.net |
Commit message
Fix ptr = 0 to *ptr = 0
Description of the change
Fixes huge boxes.
To post a comment you must log in.
Hi, I am bunnybot (https:/ /github. com/widelands/ bunnybot).
I am keeping the source branch lp:~widelands-dev/widelands/fix_huge_boxes mirrored to https:/ /github. com/widelands/ widelands/ tree/_widelands _dev_widelands_ fix_huge_ boxes
You can give me commands by starting a line with @bunnybot <command>. I understand:
merge: Merges the source branch into the target branch, closing the merge proposal. I will use the proposed commit message if it is set.