static char const * latex_delimiters[] = {
"(", ")", "{", "}", "[", "]",
"lceil", "rceil", "lfloor", "rfloor", "langle", "rangle",
+ "llbracket", "rrbracket",
"uparrow", "updownarrow", "Uparrow", "Updownarrow", "downarrow", "Downarrow",
"|", "Vert", "/", "backslash", ""
};
math_symbols_["rfloor"] = MathSymbol(0x230B, 99, CMSY_FAMILY);
math_symbols_["langle"] = MathSymbol(0x2329, 104, CMSY_FAMILY);
math_symbols_["rangle"] = MathSymbol(0x232A, 105, CMSY_FAMILY);
+ math_symbols_["llbracket"] = MathSymbol(0x27e6, 74, STMARY_FAMILY);
+ math_symbols_["rrbracket"] = MathSymbol(0x27e7, 75, STMARY_FAMILY);
math_symbols_["uparrow"] = MathSymbol(0x2191, 34, CMSY_FAMILY);
math_symbols_["Uparrow"] = MathSymbol(0x21D1, 42, CMSY_FAMILY);
math_symbols_["updownarrow"] = MathSymbol(0x2195, 108, CMSY_FAMILY);
map<string, MathSymbol>::const_iterator it =
math_symbols_.find(tex_name);
- static MathSymbol unknown_symbol;
+ static MathSymbol const unknown_symbol;
if (it == math_symbols_.end())
return unknown_symbol;
map<char_type, string>::const_iterator it =
tex_names_.find(math_symbol);
- static string empty_string;
+ static string const empty_string;
if (it == tex_names_.end())
return empty_string;
leftLW->setViewMode(QListView::IconMode);
rightLW->setViewMode(QListView::IconMode);
+ leftLW->setDragDropMode(QAbstractItemView::NoDragDrop);
+ rightLW->setDragDropMode(QAbstractItemView::NoDragDrop);
+
initMathSymbols();
typedef map<char_type, QListWidgetItem *> ListItems;
else if (str == "lfloor") match = "rfloor";
else if (str == "rangle") match = "langle";
else if (str == "langle") match = "rangle";
+ else if (str == "llbracket") match = "rrbracket";
+ else if (str == "rrbracket") match = "llbracket";
else if (str == "backslash") match = "/";
else if (str == "/") match = "backslash";
else return symbol;
void GuiDelimiter::on_leftLW_itemActivated(QListWidgetItem *)
{
+ // do not auto-apply if !matchCB->isChecked()
if (!matchCB->isChecked())
- // do not apply
return;
on_insertPB_clicked();
accept();
void GuiDelimiter::on_rightLW_itemActivated(QListWidgetItem *)
{
+ // do not auto-apply if !matchCB->isChecked()
if (!matchCB->isChecked())
- // do not apply
return;
on_insertPB_clicked();
accept();