Viewing all changes in revision 8951.
- Committer: Wideland's Bunnybot
- Date: 2018-12-26 12:19:35 UTC
- mfrom: (8943.4.2 bug-1806230-enable-ok-button)
- Revision ID: bunnybot@widelands.org-20181226121935-cdbzo83i2mlkit1r
Merged lp:~widelands-dev/widelands/bug-1806230-enable-ok-button:
Enabling OK button in map options of editor when tags are changed.
Enabling OK button in map options of editor when tags are changed.
- files modified:
- src/editor/ui_menus/main_menu_map_options.cc
expand all
collapse all
added
removed
