From f139b653520ee20f2d92692beb51d5ca83dbd9e6 Mon Sep 17 00:00:00 2001 From: Enrico Forestieri Date: Sat, 7 Apr 2007 00:00:32 +0000 Subject: [PATCH] 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 --- src/frontends/qt4/QDelimiterDialog.C | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/frontends/qt4/QDelimiterDialog.C b/src/frontends/qt4/QDelimiterDialog.C index b5630686a9..7b31555eac 100644 --- 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; -- 2.39.5