On Sat, Apr 07, 2007 at 12:00:33AM -0000, [EMAIL PROTECTED] wrote: > Author: forenr > Date: Sat Apr 7 02:00:32 2007 > New Revision: 17752 > > URL: http://www.lyx.org/trac/changeset/17752 > Log: > Fix gui for the "|" big delimiter > > * src/frontends/qt4/QDelimiterDialog.C > (fix_name): Return "|" instead of "\|" as this is equivalent to \Vert. > > Modified: > lyx-devel/trunk/src/frontends/qt4/QDelimiterDialog.C > > Modified: lyx-devel/trunk/src/frontends/qt4/QDelimiterDialog.C > URL: > http://www.lyx.org/trac/file/lyx-devel/trunk/src/frontends/qt4/QDelimiterDialog.C?rev=17752 > ============================================================================== > --- lyx-devel/trunk/src/frontends/qt4/QDelimiterDialog.C (original) > +++ lyx-devel/trunk/src/frontends/qt4/QDelimiterDialog.C Sat Apr 7 02:00:32 > 2007 > @@ -66,7 +66,7 @@ > { > if (str.empty()) > return "."; > - if (!big || str == "(" || str == ")" || str == "[" || str == "]") > + if (!big || str == "(" || str == ")" || str == "[" || str == "]" || str > == "|") > return str; > > return "\\" + str;
JMarc, this is also needed in 1.4. -- Enrico
