/////////////////////////////////////////////////////////////////////
-InsetMathBinom::InsetMathBinom(bool choose)
- : choose_(choose)
+InsetMathBinom::InsetMathBinom(Kind kind)
+ : kind_(kind)
{}
Dimension const dim = dimension(*pi.base.bv);
Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
Dimension const & dim1 = cell(1).dimension(*pi.base.bv);
+ docstring const bra = kind_ == BRACE ? from_ascii("{") :
+ kind_ == BRACK ? from_ascii("[") : from_ascii("(");
+ docstring const ket = kind_ == BRACE ? from_ascii("}") :
+ kind_ == BRACK ? from_ascii("]") : from_ascii(")");
int m = x + dim.width() / 2;
FracChanger dummy(pi.base);
cell(0).draw(pi, m - dim0.width() / 2, y - dim0.des - 3 - 5);
cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 3 - 5);
- mathed_draw_deco(pi, x, y - dim.ascent(), dw(dim.height()), dim.height(), from_ascii("("));
+ mathed_draw_deco(pi, x, y - dim.ascent(), dw(dim.height()), dim.height(), bra);
mathed_draw_deco(pi, x + dim.width() - dw(dim.height()), y - dim.ascent(),
- dw(dim.height()), dim.height(), from_ascii(")"));
+ dw(dim.height()), dim.height(), ket);
drawMarkers2(pi, x, y);
}
bool InsetMathBinom::extraBraces() const
{
- return choose_;
+ return kind_ == CHOOSE || kind_ == BRACE || kind_ == BRACK;
}
void InsetMathBinom::write(WriteStream & os) const
{
- if (choose_)
- os << '{' << cell(0) << " \\choose " << cell(1) << '}';
- else
+ switch (kind_) {
+ case BINOM:
os << "\\binom{" << cell(0) << "}{" << cell(1) << '}';
+ break;
+ case CHOOSE:
+ os << '{' << cell(0) << " \\choose " << cell(1) << '}';
+ break;
+ case BRACE:
+ os << '{' << cell(0) << " \\brace " << cell(1) << '}';
+ break;
+ case BRACK:
+ os << '{' << cell(0) << " \\brack " << cell(1) << '}';
+ break;
+ }
}
}
+void InsetMathBinom::validate(LaTeXFeatures & features) const
+{
+ if (kind_ == BINOM) {
+ features.require("binom");
+ InsetMathNest::validate(features);
+ }
+}
+
+
/////////////////////////////////////////////////////////////////////
//
// InsetMathDBinom
class InsetMathBinom : public InsetMathFracBase {
public:
///
- explicit InsetMathBinom(bool choose = false);
+ enum Kind {
+ BINOM,
+ CHOOSE,
+ BRACE,
+ BRACK
+ };
+
+ ///
+ explicit InsetMathBinom(Kind kind = BINOM);
///
void write(WriteStream & os) const;
///
{ drawMarkers2(pi, x, y); }
///
bool extraBraces() const;
+ ///
+ void validate(LaTeXFeatures & features) const;
private:
Inset * clone() const;
///
int dw(int height) const;
///
- bool choose_;
+ Kind kind_;
};
globals.push_back(from_ascii("\\stackrel"));
globals.push_back(from_ascii("\\binom"));
globals.push_back(from_ascii("\\choose"));
- globals.push_back(from_ascii("\\choose"));
+ globals.push_back(from_ascii("\\brace"));
+ globals.push_back(from_ascii("\\brack"));
globals.push_back(from_ascii("\\frac"));
globals.push_back(from_ascii("\\over"));
globals.push_back(from_ascii("\\nicefrac"));
return MathAtom(new InsetMathTabular(s, 1, 1));
if (s == "stackrel")
return MathAtom(new InsetMathStackrel);
- if (s == "binom" || s == "choose")
- return MathAtom(new InsetMathBinom(s == "choose"));
+ if (s == "binom")
+ return MathAtom(new InsetMathBinom(InsetMathBinom::BINOM));
+ if (s == "choose")
+ return MathAtom(new InsetMathBinom(InsetMathBinom::CHOOSE));
+ if (s == "brace")
+ return MathAtom(new InsetMathBinom(InsetMathBinom::BRACE));
+ if (s == "brack")
+ return MathAtom(new InsetMathBinom(InsetMathBinom::BRACK));
if (s == "frac")
return MathAtom(new InsetMathFrac);
if (s == "over")