GunChleoc has proposed merging lp:~widelands-dev/widelands/bug-1546095-backslash-edit into lp:widelands.
Commit message: Fixed crash when editor text field ends in \. Requested reviews: Widelands Developers (widelands-dev) Related bugs: Bug #1546095 in widelands: "Crash when typing "\" in Editor text fields" https://bugs.launchpad.net/widelands/+bug/1546095 For more details, see: https://code.launchpad.net/~widelands-dev/widelands/bug-1546095-backslash-edit/+merge/286189 Fixed crash when editor text field ends in \. -- Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1546095-backslash-edit into lp:widelands.
=== modified file 'src/graphic/text_layout.cc' --- src/graphic/text_layout.cc 2016-02-13 11:04:05 +0000 +++ src/graphic/text_layout.cc 2016-02-16 15:39:50 +0000 @@ -51,6 +51,7 @@ std::string text = given_text; boost::replace_all(text, ">", ">"); boost::replace_all(text, "<", "<"); + boost::replace_all(text, "\\", "\\\\"); return text; }
_______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
