Merge lp:~widelands-dev/widelands/bug-1820036-map-saving-prompt into lp:widelands
Proposed by
GunChleoc
Status: | Merged | ||||
---|---|---|---|---|---|
Merged at revision: | 9022 | ||||
Proposed branch: | lp:~widelands-dev/widelands/bug-1820036-map-saving-prompt | ||||
Merge into: | lp:widelands | ||||
Diff against target: |
10 lines (+1/-0) 1 file modified
src/editor/ui_menus/main_menu_save_map.cc (+1/-0) |
||||
To merge this branch: | bzr merge lp:~widelands-dev/widelands/bug-1820036-map-saving-prompt | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
hessenfarmer | Approve | ||
Review via email:
|
Commit message
After successfully saving a map, mark it as not needing saving.
Description of the change
The marker got lost when we added some safeguards for file system access while saving.
To post a comment you must log in.
Looks good for me
@bunnybot merge