Fix gui for the "|" big delimiter

	* src/frontends/qt4/QDelimiterDialog.C
	(fix_name): Return "|" instead of "\|" as this is equivalent to \Vert.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@17752 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/src/frontends/qt4/QDelimiterDialog.C b/src/frontends/qt4/QDelimiterDialog.C
index b5630686a9b8b5977a6130e1454416b92c738fd7..7b31555eac54b31ae30673180a77d93b1422e59d 100644 (file)
--- a/src/frontends/qt4/QDelimiterDialog.C
+++ b/src/frontends/qt4/QDelimiterDialog.C
@@ -66,7 +66,7 @@ string fix_name(string const & str, bool big)
 {
        if (str.empty())
                return ".";
-       if (!big || str == "(" || str == ")" || str == "[" || str == "]")
+       if (!big || str == "(" || str == ")" || str == "[" || str == "]" || str == "|")
                return str;
 
        return "\\" + str;