From: Enrico Forestieri Date: Fri, 20 Oct 2006 10:43:53 +0000 (+0000) Subject: Fix some glitches with fixed size delimiters X-Git-Tag: 1.6.10~12324 X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=899fb0602327c9a943e71529417850e8334c5515;p=features.git Fix some glitches with fixed size delimiters * src/mathed/MathParser.C (parse1): behave correctly when a wrong delimiter is specified. * src/mathed/InsetMathBig.C (write): don't write a space before delimiter. * src/frontends/qt4/QDelimiterDialog.C (QDelimiterDialog): make translatable the string "Variable size". git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@15397 a592a061-630c-0410-9148-cb99ea01b6c8 --- diff --git a/src/frontends/qt4/QDelimiterDialog.C b/src/frontends/qt4/QDelimiterDialog.C index 568802fca3..19f64c237c 100644 --- a/src/frontends/qt4/QDelimiterDialog.C +++ b/src/frontends/qt4/QDelimiterDialog.C @@ -107,7 +107,7 @@ QDelimiterDialog::QDelimiterDialog(QMathDelimiter * form) leftCO->addItem(QIcon(QPixmap(toqstr(empty_xpm))), qt_("(None)")); rightCO->addItem(QIcon(QPixmap(toqstr(empty_xpm))), qt_("(None)")); - sizeCO->addItem(qt_(N_("Variable size"))); + sizeCO->addItem(qt_("Variable size")); for (int i = 0; *biggui[i]; ++i) sizeCO->addItem(qt_(biggui[i])); diff --git a/src/mathed/InsetMathBig.C b/src/mathed/InsetMathBig.C index 90900360df..7814f4ec3b 100644 --- a/src/mathed/InsetMathBig.C +++ b/src/mathed/InsetMathBig.C @@ -88,7 +88,7 @@ void InsetMathBig::draw(PainterInfo & pi, int x, int y) const void InsetMathBig::write(WriteStream & os) const { - os << '\\' << name_ << ' ' << delim_; + os << '\\' << name_ << delim_; if (delim_[0] == '\\') os.pendingSpace(true); } diff --git a/src/mathed/MathParser.C b/src/mathed/MathParser.C index 34c8e8c8b1..c75e7cf0b8 100644 --- a/src/mathed/MathParser.C +++ b/src/mathed/MathParser.C @@ -1321,8 +1321,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags, new InsetMathBig(t.cs(), delim))); else { cell->push_back(createInsetMath(t.cs())); - cell->push_back(createInsetMath( - delim.substr(1))); + putback(); } }