lyx_mirror/src/frontends/controllers/ControlMath.C
Abdelrazak Younes f9347bc672 Make the delimiters dialog use true unicode symbols instead of pixmaps.
* ControlMath.[Ch]
  - mathSymbol(), texName(): new method for easy access of math symbols and associated TeX names
  - latex_delimiters: allowed delimiters transferred from QDelimiterDialog.C

* QDelimiterDialog.C:
  - makes use of the above.
  - display the TeX code in a label instead of beside the symbol.
 
* QDelimiterUi.ui
  - shrink it so that it could nicely fit in a DockWidget but this doesn't work, the dialog is too large!
  - texCodeL: new label.




git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@17747 a592a061-630c-0410-9148-cb99ea01b6c8
2007-04-06 15:57:32 +00:00

523 lines
14 KiB
C

/**
* \file ControlMath.C
* This file is part of LyX, the document processor.
* Licence details can be found in the file COPYING.
*
* \author Angus Leeming
*
* Full author contact details are available in file CREDITS.
*/
#include <config.h>
#include "ControlMath.h"
#include "debug.h"
#include "funcrequest.h"
#include "support/lyxalgo.h" // sorted
#include "support/lstrings.h"
#include "support/filetools.h"
#include <functional>
using std::string;
using std::map;
namespace lyx {
using support::compare;
using support::libFileSearch;
using support::subst;
namespace frontend {
ControlMath::ControlMath(Dialog & dialog)
: Dialog::Controller(dialog)
{
// FIXME: Ideally, those unicode codepoints would be defined
// in "lib/symbols". Unfortunately, some of those are already
// defined with non-unicode ids for use within mathed.
math_symbols_["("] = '(';
math_symbols_[")"] = ')';
math_symbols_["{"] = '{';
math_symbols_["}"] = '}';
math_symbols_["["] = '[';
math_symbols_["]"] = ']';
math_symbols_["|"] = '|';
math_symbols_["/"] = '/';
math_symbols_["\\"] = '\\';
math_symbols_["lceil"] = 0x2308;
math_symbols_["rceil"] = 0x2309;
math_symbols_["lfloor"] = 0x230A;
math_symbols_["rfloor"] = 0x230B;
math_symbols_["langle"] = 0x2329;
math_symbols_["rangle"] = 0x232A;
math_symbols_["uparrow"] = 0x2191;
math_symbols_["Uparrow"] = 0x21D1;
math_symbols_["UpArrow"] = 0x2191;
math_symbols_["UpArrowBar"] = 0x2912;
math_symbols_["UpArrowDownArrow"] = 0x21C5;
math_symbols_["updownarrow"] = 0x2195;
math_symbols_["Updownarrow"] = 0x21D5;
math_symbols_["UpDownArrow"] = 0x2195;
math_symbols_["downarrow"] = 0x2193;
math_symbols_["Downarrow"] = 0x21D3;
math_symbols_["DownArrow"] = 0x2193;
math_symbols_["DownArrowBar"] = 0x2913;
math_symbols_["DownArrowUpArrow"] = 0x21F5;
math_symbols_["downdownarrows"] = 0x21CA;
math_symbols_["downharpoonleft"] = 0x21C3;
math_symbols_["downharpoonright"] = 0x21C2;
math_symbols_["vert"] = 0x007C;
math_symbols_["Vert"] = 0x2016;
math_symbols_["Backslash"] = 0x2216;
std::map<string, char_type>::const_iterator it = math_symbols_.begin();
std::map<string, char_type>::const_iterator end = math_symbols_.end();
for (; it != end; ++it)
tex_names_[it->second] = it->first;
}
void ControlMath::dispatchFunc(kb_action action, string const & arg) const
{
kernel().dispatch(FuncRequest(action, arg));
}
void ControlMath::dispatchInsert(string const & name) const
{
dispatchFunc(LFUN_MATH_INSERT, '\\' + name);
}
void ControlMath::dispatchSubscript() const
{
dispatchFunc(LFUN_MATH_INSERT, "_");
}
void ControlMath::dispatchSuperscript() const
{
dispatchFunc(LFUN_MATH_INSERT, "^");
}
void ControlMath::dispatchCubeRoot() const
{
dispatchFunc(LFUN_MATH_INSERT, "\\root");
dispatchFunc(LFUN_SELF_INSERT, "3");
dispatchFunc(LFUN_CHAR_FORWARD);
}
void ControlMath::dispatchMatrix(string const & str) const
{
dispatchFunc(LFUN_MATH_MATRIX, str);
}
void ControlMath::dispatchDelim(string const & str) const
{
dispatchFunc(LFUN_MATH_DELIM, str);
}
void ControlMath::dispatchBigDelim(string const & str) const
{
dispatchFunc(LFUN_MATH_BIGDELIM, str);
}
void ControlMath::dispatchToggleDisplay() const
{
dispatchFunc(LFUN_MATH_DISPLAY);
}
void ControlMath::showDialog(string const & name) const
{
dispatchFunc(LFUN_DIALOG_SHOW, name);
}
char_type ControlMath::mathSymbol(string tex_name) const
{
map<string, char_type>::const_iterator it =
math_symbols_.find(tex_name);
if (it == math_symbols_.end())
return '?';
return it->second;
}
std::string const & ControlMath::texName(char_type math_symbol) const
{
map<char_type, string>::const_iterator it =
tex_names_.find(math_symbol);
static string empty_string;
if (it == tex_names_.end())
return empty_string;
return it->second;
}
char const * function_names[] = {
"arccos", "arcsin", "arctan", "arg", "bmod",
"cos", "cosh", "cot", "coth", "csc", "deg",
"det", "dim", "exp", "gcd", "hom", "inf", "ker",
"lg", "lim", "liminf", "limsup", "ln", "log",
"max", "min", "sec", "sin", "sinh", "sup",
"tan", "tanh", "Pr", ""
};
int const nr_function_names = sizeof(function_names) / sizeof(char const *) - 1;
char const * latex_dots[] = {
"ldots", "cdots", "vdots", "ddots", ""
};
int const nr_latex_dots = sizeof(latex_dots) / sizeof(char const *) - 1;
char const * latex_deco[] = {
"widehat", "widetilde", "overbrace", "overleftarrow", "overrightarrow",
"overline", "underbrace", "underline", "underleftarrow", "underrightarrow",
"underleftrightarrow", "overleftrightarrow",
"hat", "acute", "bar", "dot",
"check", "grave", "vec", "ddot",
"breve", "tilde", "overset", "underset", ""
};
int const nr_latex_deco = sizeof(latex_deco) / sizeof(char const *) - 1;
char const * latex_arrow[] = {
"leftarrow", "rightarrow",
"downarrow", "uparrow", "updownarrow", "leftrightarrow",
"Leftarrow", "Rightarrow",
"Downarrow", "Uparrow", "Updownarrow", "Leftrightarrow",
"Longleftrightarrow", "Longleftarrow", "Longrightarrow",
"longleftrightarrow", "longleftarrow", "longrightarrow",
"leftharpoondown", "rightharpoondown",
"mapsto", "longmapsto",
"nwarrow", "nearrow",
"leftharpoonup", "rightharpoonup",
"hookleftarrow", "hookrightarrow",
"swarrow", "searrow",
"rightleftharpoons",
"",
};
int const nr_latex_arrow = sizeof(latex_arrow) / sizeof(char const *);
char const * latex_bop[] = {
"pm", "cap", "diamond", "oplus",
"mp", "cup", "bigtriangleup", "ominus",
"times", "uplus", "bigtriangledown", "otimes",
"div", "sqcap", "triangleright", "oslash",
"cdot", "sqcup", "triangleleft", "odot",
"star", "vee", "amalg", "bigcirc",
"setminus", "wedge", "dagger", "circ",
"bullet", "wr", "ddagger", ""
};
int const nr_latex_bop = sizeof(latex_bop) / sizeof(char const *);
char const * latex_brel[] = {
"leq", "geq", "equiv", "models",
"prec", "succ", "sim", "perp",
"preceq", "succeq", "simeq", "mid",
"ll", "gg", "asymp", "parallel",
"subset", "supset", "approx", "smile",
"subseteq", "supseteq", "cong", "frown",
"sqsubseteq", "sqsupseteq", "doteq", "neq",
"in", "ni", "propto", "notin",
"vdash", "dashv", "bowtie", ""
};
int const nr_latex_brel = sizeof(latex_brel) / sizeof(char const *);
char const * latex_greek[] = {
"Gamma", "Delta", "Theta", "Lambda", "Xi", "Pi",
"Sigma", "Upsilon", "Phi", "Psi", "Omega",
"alpha", "beta", "gamma", "delta", "epsilon", "varepsilon", "zeta",
"eta", "theta", "vartheta", "iota", "kappa", "lambda", "mu",
"nu", "xi", "pi", "varpi", "rho", "sigma", "varsigma",
"tau", "upsilon", "phi", "varphi", "chi", "psi", "omega", ""
};
int const nr_latex_greek = sizeof(latex_greek) / sizeof(char const *);
char const * latex_misc[] = {
"nabla", "partial", "infty", "prime", "ell",
"emptyset", "exists", "forall", "imath", "jmath",
"Re", "Im", "aleph", "wp", "hbar",
"angle", "top", "bot", "Vert", "neg",
"flat", "natural", "sharp", "surd", "triangle",
"diamondsuit", "heartsuit", "clubsuit", "spadesuit",
"textrm \\AA", "textrm \\O", "mathcircumflex", "_",
"mathrm T",
"mathbb N", "mathbb Z", "mathbb Q",
"mathbb R", "mathbb C", "mathbb H",
"mathcal F", "mathcal L",
"mathcal H", "mathcal O",
"phantom", "vphantom", "hphantom", ""
};
int const nr_latex_misc = sizeof(latex_misc) / sizeof(char const *);
char const * latex_varsz[] = {
"sum", "int", "intop", "iint", "iintop", "iiint", "iiintop",
"iiiint", "iiiintop", "dotsint", "dotsintop",
"oint", "ointop", "oiint", "oiintop", "ointctrclockwise",
"ointctrclockwiseop", "ointclockwise", "ointclockwiseop",
"sqint", "sqintop", "sqiint", "sqiintop",
"prod", "coprod", "bigsqcup",
"bigotimes", "bigodot", "bigoplus",
"bigcap", "bigcup", "biguplus",
"bigvee", "bigwedge", ""
};
int const nr_latex_varsz = sizeof(latex_varsz) / sizeof(char const *);
char const * latex_ams_misc[] = {
"digamma", "varkappa", "beth", "daleth", "gimel",
"ulcorner", "urcorner", "llcorner", "lrcorner",
"hbar", "hslash", "vartriangle",
"triangledown", "square", "lozenge",
"circledS", "angle", "measuredangle",
"nexists", "mho", "Finv",
"Game", "Bbbk", "backprime",
"varnothing", "blacktriangle", "blacktriangledown",
"blacksquare", "blacklozenge", "bigstar",
"sphericalangle", "complement", "eth",
"diagup", "diagdown", ""
};
int const nr_latex_ams_misc = sizeof(latex_ams_misc) / sizeof(char const *);
char const * latex_ams_arrows[] = {
"dashleftarrow", "dashrightarrow",
"leftleftarrows", "leftrightarrows",
"rightrightarrows", "rightleftarrows",
"Lleftarrow", "Rrightarrow",
"twoheadleftarrow", "twoheadrightarrow",
"leftarrowtail", "rightarrowtail",
"looparrowleft", "looparrowright",
"curvearrowleft", "curvearrowright",
"circlearrowleft", "circlearrowright",
"Lsh", "Rsh",
"upuparrows", "downdownarrows",
"upharpoonleft", "upharpoonright",
"downharpoonleft", "downharpoonright",
"leftrightharpoons", "rightleftharpoons",
"rightsquigarrow", "leftrightsquigarrow",
"nleftarrow", "nrightarrow", "nleftrightarrow",
"nLeftarrow", "nRightarrow", "nLeftrightarrow",
"multimap",
""
};
int const nr_latex_ams_arrows = sizeof(latex_ams_arrows) / sizeof(char const *);
char const * latex_ams_rel[] = {
"leqq", "geqq",
"leqslant", "geqslant",
"eqslantless", "eqslantgtr",
"lesssim", "gtrsim",
"lessapprox", "gtrapprox",
"approxeq", "triangleq",
"lessdot", "gtrdot",
"lll", "ggg",
"lessgtr", "gtrless",
"lesseqgtr", "gtreqless",
"lesseqqgtr", "gtreqqless",
"eqcirc", "circeq",
"thicksim", "thickapprox",
"backsim", "backsimeq",
"subseteqq", "supseteqq",
"Subset", "Supset",
"sqsubset", "sqsupset",
"preccurlyeq", "succcurlyeq",
"curlyeqprec", "curlyeqsucc",
"precsim", "succsim",
"precapprox", "succapprox",
"vartriangleleft", "vartriangleright",
"trianglelefteq", "trianglerighteq",
"bumpeq", "Bumpeq",
"doteqdot", "risingdotseq", "fallingdotseq",
"vDash", "Vvdash", "Vdash",
"shortmid", "shortparallel",
"smallsmile", "smallfrown",
"blacktriangleleft", "blacktriangleright",
"because", "therefore",
"backepsilon",
"varpropto",
"between",
"pitchfork",
""
};
int const nr_latex_ams_rel = sizeof(latex_ams_rel) / sizeof(char const *);
char const * latex_ams_nrel[] = {
"nless", "ngtr",
"nleq", "ngeq",
"nleqslant", "ngeqslant",
"nleqq", "ngeqq",
"lneq", "gneq",
"lneqq", "gneqq",
"lvertneqq", "gvertneqq",
"lnsim", "gnsim",
"lnapprox", "gnapprox",
"nprec", "nsucc",
"npreceq", "nsucceq",
"precnsim", "succnsim",
"precnapprox", "succnapprox",
"subsetneq", "supsetneq",
"subsetneqq", "supsetneqq",
"nsubseteq", "nsupseteq", "nsupseteqq",
"nvdash", "nvDash", "nVDash",
"varsubsetneq", "varsupsetneq",
"varsubsetneqq", "varsupsetneqq",
"ntriangleleft", "ntriangleright",
"ntrianglelefteq", "ntrianglerighteq",
"ncong", "nsim",
"nmid", "nshortmid",
"nparallel", "nshortparallel",
"", "", ""
};
int const nr_latex_ams_nrel = sizeof(latex_ams_nrel) / sizeof(char const *);
char const * latex_ams_ops[] = {
"dotplus", "smallsetminus", "Cap",
"Cup", "barwedge", "veebar",
"doublebarwedge", "boxminus", "boxtimes",
"boxdot", "boxplus", "divideontimes",
"ltimes", "rtimes", "leftthreetimes",
"rightthreetimes", "curlywedge", "curlyvee",
"circleddash", "circledast", "circledcirc",
"centerdot", "intercal", ""
};
int const nr_latex_ams_ops = sizeof(latex_ams_ops) / sizeof(char const *);
char const * latex_delimiters[] = {
"(", ")", "{", "}", "[", "]",
"lceil", "rceil", "lfloor", "rfloor", "langle", "rangle",
"uparrow", "Uparrow", "downarrow", "Downarrow",
"|", "Vert", "/", "\\", ""
};
int const nr_latex_delimiters = sizeof(latex_delimiters) / sizeof(char const *);
namespace {
struct XPMmap {
char const * key;
char const * value;
};
bool operator<(XPMmap const & lhs, XPMmap const & rhs)
{
return compare(lhs.key, rhs.key) < 0;
}
class CompareKey : public std::unary_function<XPMmap, bool> {
public:
CompareKey(string const & name) : name_(name) {}
bool operator()(XPMmap const & other) const {
return other.key == name_;
}
private:
string const name_;
};
XPMmap sorted_xpm_map[] = {
{ "Bumpeq", "bumpeq2" },
{ "Cap", "cap2" },
{ "Cup", "cup2" },
{ "Delta", "delta2" },
{ "Downarrow", "downarrow2" },
{ "Gamma", "gamma2" },
{ "Lambda", "lambda2" },
{ "Leftarrow", "leftarrow2" },
{ "Leftrightarrow", "leftrightarrow2" },
{ "Longleftarrow", "longleftarrow2" },
{ "Longleftrightarrow", "longleftrightarrow2" },
{ "Longrightarrow", "longrightarrow2" },
{ "Omega", "omega2" },
{ "Phi", "phi2" },
{ "Pi", "pi2" },
{ "Psi", "psi2" },
{ "Rightarrow", "rightarrow2" },
{ "Sigma", "sigma2" },
{ "Subset", "subset2" },
{ "Supset", "supset2" },
{ "Theta", "theta2" },
{ "Uparrow", "uparrow2" },
{ "Updownarrow", "updownarrow2" },
{ "Upsilon", "upsilon2" },
{ "Vdash", "vdash3" },
{ "Xi", "xi2" },
{ "nLeftarrow", "nleftarrow2" },
{ "nLeftrightarrow", "nleftrightarrow2" },
{ "nRightarrow", "nrightarrow2" },
{ "nVDash", "nvdash3" },
{ "nvDash", "nvdash2" },
{ "textrm \\AA", "textrm_AA"},
{ "textrm \\O", "textrm_Oe"},
{ "vDash", "vdash2" }
};
size_t const nr_sorted_xpm_map = sizeof(sorted_xpm_map) / sizeof(XPMmap);
} // namespace anon
string const find_xpm(string const & name)
{
XPMmap const * const begin = sorted_xpm_map;
XPMmap const * const end = begin + nr_sorted_xpm_map;
BOOST_ASSERT(sorted(begin, end));
XPMmap const * const it =
std::find_if(begin, end, CompareKey(name));
string xpm_name;
if (it != end)
xpm_name = it->value;
else {
xpm_name = subst(name, "_", "underscore");
xpm_name = subst(xpm_name, ' ', '_');
// This way we can have "math-delim { }" on the toolbar.
xpm_name = subst(xpm_name, "(", "lparen");
xpm_name = subst(xpm_name, ")", "rparen");
xpm_name = subst(xpm_name, "[", "lbracket");
xpm_name = subst(xpm_name, "]", "rbracket");
xpm_name = subst(xpm_name, "{", "lbrace");
xpm_name = subst(xpm_name, "}", "rbrace");
xpm_name = subst(xpm_name, "|", "bars");
}
LYXERR(Debug::GUI) << "find_xpm(" << name << ")\n"
<< "Looking for math XPM called \""
<< xpm_name << '"' << std::endl;
return libFileSearch("images/math/", xpm_name, "xpm").absFilename();
}
} // namespace frontend
} // namespace lyx