[orca: 1/2] Properly display profile names containing XML special characters

[Joanmarie Diggs <joanied src gnome org>]

commit 3beb741f6110db51587c227f58e9ea11efb7bd55
Author: Colomban Wendling <cwendling hypra fr>
Date:   Wed Sep 19 15:34:03 2018 +0200

    Properly display profile names containing XML special characters

 src/orca/orca_gui_prefs.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/orca/orca_gui_prefs.py b/src/orca/orca_gui_prefs.py
index d2167cf00..90426406c 100644
--- a/src/orca/orca_gui_prefs.py
+++ b/src/orca/orca_gui_prefs.py
@@ -3164,7 +3164,7 @@ class OrcaSetupGUI(orca_gtkbuilder.GtkBuilderWrapper):
         else:
             if profileToSave is not None:
                 message = guilabels.PROFILE_CONFLICT_MESSAGE % \
-                    ("<b>%s</b>" % profileToSaveLabel)
+                    ("<b>%s</b>" % GLib.markup_escape_text(profileToSaveLabel))
                 dialog = Gtk.MessageDialog(None,
                         Gtk.DialogFlags.MODAL,
                         type=Gtk.MessageType.INFO,