widelands-dev team mailing list archive

[GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>]

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, "<", "&lt;");
+	boost::replace_all(text, "\\", "\\\\");
 	return text;
 }