-namespace {
-
-struct PngMap {
- char const * key;
- char const * value;
-};
-
-
-bool operator<(PngMap const & lhs, PngMap const & rhs)
-{
- return strcmp(lhs.key, rhs.key) < 0;
-}
-
-
-class CompareKey {
-public:
- CompareKey(string const & name) : name_(name) {}
- bool operator()(PngMap const & other) const { return other.key == name_; }
-private:
- string const name_;
-};
-
-
-PngMap sorted_png_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_O"},
- { "vDash", "vdash2" }
-};
-
-size_t const nr_sorted_png_map = sizeof(sorted_png_map) / sizeof(PngMap);
-
-
-string const find_png(string const & name)
-{
- PngMap const * const begin = sorted_png_map;
- PngMap const * const end = begin + nr_sorted_png_map;
- BOOST_ASSERT(sorted(begin, end));
-
- PngMap const * const it = find_if(begin, end, CompareKey(name));
-
- string png_name;
- if (it != end)
- png_name = it->value;
- else {
- png_name = subst(name, "_", "underscore");
- png_name = subst(png_name, ' ', '_');
-
- // This way we can have "math-delim { }" on the toolbar.
- png_name = subst(png_name, "(", "lparen");
- png_name = subst(png_name, ")", "rparen");
- png_name = subst(png_name, "[", "lbracket");
- png_name = subst(png_name, "]", "rbracket");
- png_name = subst(png_name, "{", "lbrace");
- png_name = subst(png_name, "}", "rbrace");
- png_name = subst(png_name, "|", "bars");
- png_name = subst(png_name, ",", "thinspace");
- png_name = subst(png_name, ":", "mediumspace");
- png_name = subst(png_name, ";", "thickspace");
- png_name = subst(png_name, "!", "negthinspace");
- }
-
- LYXERR(Debug::GUI, "find_png(" << name << ")\n"
- << "Looking for math PNG called \"" << png_name << '"');
- return png_name;
-}
-
-} // namespace anon
-
-
-/// return a icon for the given action
-static QIcon getIcon(FuncRequest const & f, bool unknown)
-{
- initializeResources();
- QPixmap pm;
- string name1;
- string name2;
- string path;
- string fullname;
-
- switch (f.action) {
- case LFUN_MATH_INSERT:
- if (!f.argument().empty()) {
- path = "math/";
- name1 = find_png(to_utf8(f.argument()).substr(1));
- }
- break;
- case LFUN_MATH_DELIM:
- case LFUN_MATH_BIGDELIM:
- path = "math/";
- name1 = find_png(to_utf8(f.argument()));
- break;
- case LFUN_CALL:
- path = "commands/";
- name1 = to_utf8(f.argument());
- break;
- default:
- name2 = lyxaction.getActionName(f.action);
- name1 = name2;
-
- if (!f.argument().empty())
- name1 = subst(name2 + ' ' + to_utf8(f.argument()), ' ', '_');
- }
-
- fullname = libFileSearch("images/" + path, name1, "png").absFilename();
- if (pm.load(toqstr(fullname)))
- return pm;
-
- fullname = libFileSearch("images/" + path, name2, "png").absFilename();
- if (pm.load(toqstr(fullname)))
- return pm;
-
- if (pm.load(":/images/" + toqstr(path + name1) + ".png"))
- return pm;
-
- if (pm.load(":/images/" + toqstr(path + name2) + ".png"))
- return pm;
-
- LYXERR(Debug::GUI, "Cannot find icon for command \""
- << lyxaction.getActionName(f.action)
- << '(' << to_utf8(f.argument()) << ")\"");
- if (unknown)
- pm.load(":/images/unknown.png");
-
- return pm;
-}
-
-
-/////////////////////////////////////////////////////////////////////
-//
-// GuiLayoutBox
-//
-/////////////////////////////////////////////////////////////////////
-
-class FilterItemDelegate : public QAbstractItemDelegate {
-public:
- ///
- explicit FilterItemDelegate(QObject * parent = 0)
- : QAbstractItemDelegate(parent) {}
-
- ///
- void paint(QPainter * painter, QStyleOptionViewItem const & option,
- QModelIndex const & index) const {
- QComboBox * combo = static_cast<QComboBox *>(parent());
- QStyleOptionMenuItem opt = getStyleOption(option, index);
-
- // draw line with small text string for separator
- if (opt.text.left(2) == "--") {
- painter->save();
-
- // set options for the separator, the first 8/18 of the vertical space
- QStyleOptionMenuItem sopt = opt;
- sopt.state = QStyle::State_Active | QStyle::State_Enabled;
- sopt.checked = false;
- sopt.text = QString();
- sopt.rect.setHeight(sopt.rect.height() * 8 / 18);
- sopt.menuRect.setHeight(sopt.menuRect.height() * 8 / 18);
-
- // use the style with an empty text to paint the background
- painter->eraseRect(sopt.rect);
- combo->style()->drawControl(QStyle::CE_MenuItem, &sopt, painter, combo->view());
-
- // draw the centered text, small and bold
- QPen pen;
- pen.setWidth(1);
- pen.setColor(sopt.palette.text().color());
- painter->setPen(pen);
- QFont font = sopt.font;
- font.setBold(true);
- font.setWeight(QFont::Black);
- font.setPointSize(sopt.font.pointSize() * 8 / 10);
- painter->setFont(font);
- QRect brect;
- painter->drawText(sopt.rect, Qt::AlignCenter, "Modules", &brect);
-
- // draw the horizontal line
- QColor lcol = sopt.palette.text().color();
- lcol.setAlpha(127);
- painter->setPen(lcol);
- painter->drawLine(sopt.rect.x(), sopt.rect.y() + sopt.rect.height() / 2 ,
- brect.left() - 1, sopt.rect.y() + sopt.rect.height() / 2);
- painter->drawLine(brect.right() + 1, sopt.rect.y() + sopt.rect.height() / 2,
- sopt.rect.right(), sopt.rect.y() + sopt.rect.height() / 2);
-
- painter->restore();
-
- // move rect down 8/20 of the original height
- opt.rect.setTop(sopt.rect.y() + sopt.rect.height());
- opt.menuRect = opt.rect;
- }
-
- // Draw using the menu item style (this is how QComboBox does it).
- // But for the rich text drawing below we will call it with an
- // empty string, and later then draw over it the real string.
- painter->save();
- QString text = underlineFilter(opt.text);
- opt.text = QString();
- painter->eraseRect(opt.rect);
- combo->style()->drawControl(QStyle::CE_MenuItem, &opt, painter, combo->view());
- painter->restore();
-
- // Draw the rich text.
- painter->save();
- QColor col = opt.palette.text().color();
- if (opt.state & QStyle::State_Selected)
- col = opt.palette.highlightedText().color();
- QAbstractTextDocumentLayout::PaintContext context;
- context.palette.setColor(QPalette::Text, col);
-
- QTextDocument doc;
- doc.setDefaultFont(opt.font);
- doc.setHtml(text);
- painter->translate(opt.rect.x() + 20, opt.rect.y());
- doc.documentLayout()->draw(painter, context);
- painter->restore();
- }
-
- ///
- QSize sizeHint(QStyleOptionViewItem const & option,
- QModelIndex const & index) const {
- QComboBox * combo = static_cast<QComboBox *>(parent());
-
- QStyleOptionMenuItem opt = getStyleOption(option, index);
- QSize size = combo->style()->sizeFromContents(
- QStyle::CT_MenuItem, &opt, option.rect.size(), combo);
- if (opt.text.left(2) == "--")
- size.setHeight(size.height() * 18 / 10);
- return size;
- }
-
-private:
- ///
- QString underlineFilter(QString const & s) const
- {
- // get filter
- GuiLayoutBox * p = static_cast<GuiLayoutBox *>(parent());
- QString const & f = p->filter();
- if (f.isEmpty())
- return s;
-
- // step through data item and put "(x)" for every matching character
- QString r;
- int lastp = -1;
- p->filter();
- for (int i = 0; i < f.length(); ++i) {
- int p = s.indexOf(f[i], lastp + 1, Qt::CaseInsensitive);
- BOOST_ASSERT(p != -1);
- if (lastp == p - 1 && lastp != -1) {
- // remove ")" and append "x)"
- r = r.left(r.length() - 4) + s[p] + "</u>";
- } else {
- // append "(x)"
- r += s.mid(lastp + 1, p - lastp - 1);
- r += QString("<u>") + s[p] + "</u>";
- }
- lastp = p;
- }
- r += s.mid(lastp + 1);
- return r;
- }
-
- ///
- QStyleOptionMenuItem getStyleOption(QStyleOptionViewItem const & option,
- QModelIndex const & index) const
- {
- QComboBox * combo = static_cast<QComboBox *>(parent());
-
- // create the options for a menu item
- QStyleOptionMenuItem menuOption;
- menuOption.palette = QApplication::palette("QMenu");
- menuOption.checkType = QStyleOptionMenuItem::NonExclusive;
- menuOption.state = QStyle::State_Active | QStyle::State_Enabled;
- menuOption.menuRect = option.rect;
- menuOption.rect = option.rect;
- menuOption.font = combo->font();
- menuOption.fontMetrics = QFontMetrics(menuOption.font);
- menuOption.tabWidth = 0;
- menuOption.text = index.model()->data(index, Qt::DisplayRole).toString()
- .replace(QLatin1Char('&'), QLatin1String("&&"));
- menuOption.menuItemType = QStyleOptionMenuItem::Normal;
- if (option.state & QStyle::State_Selected)
- menuOption.state |= QStyle::State_Selected;
- menuOption.checked = combo->currentIndex() == index.row();
-
- return menuOption;
- }
-};
-
-
-class GuiFilterProxyModel : public QSortFilterProxyModel
-{
-public:
- ///
- GuiFilterProxyModel(QObject * parent)
- : QSortFilterProxyModel(parent) {}
-
- ///
- void setCharFilter(QString const & f)
- {
- setFilterRegExp(charFilterRegExp(f));
- dataChanged(index(0, 0), index(rowCount() - 1, 1));
- }
-
-private:
- ///
- QString charFilterRegExp(QString const & filter)
- {
- QString re;
- for (int i = 0; i < filter.length(); ++i)
- re += ".*" + QRegExp::escape(filter[i]);
- return re;
- }
-};
-
-
-GuiLayoutBox::GuiLayoutBox(GuiView & owner)
- : owner_(owner), filterItemDelegate_(new FilterItemDelegate(this))
-{
- setSizeAdjustPolicy(QComboBox::AdjustToContents);
- setFocusPolicy(Qt::ClickFocus);
- setMinimumWidth(sizeHint().width());
- setMaxVisibleItems(100);
-
- // set the layout model with two columns
- // 1st: translated layout names
- // 2nd: raw layout names
- model_ = new QStandardItemModel(0, 2, this);
- filterModel_ = new GuiFilterProxyModel(this);
- filterModel_->setSourceModel(model_);
- filterModel_->setDynamicSortFilter(true);
- filterModel_->setFilterCaseSensitivity(Qt::CaseInsensitive);
- setModel(filterModel_);
-
- // for the filtering we have to intercept characters
- view()->installEventFilter(this);
- view()->setItemDelegateForColumn(0, filterItemDelegate_);
-
- QObject::connect(this, SIGNAL(activated(int)),
- this, SLOT(selected(int)));
- owner_.setLayoutDialog(this);
- updateContents(true);
-}
-
-
-void GuiLayoutBox::setFilter(QString const & s)
-{
- // remember old selection
- int sel = currentIndex();
- if (sel != -1)
- lastSel_ = filterModel_->mapToSource(filterModel_->index(sel, 0)).row();
-
- filter_ = s;
- filterModel_->setCharFilter(s);
-
- // restore old selection
- if (lastSel_ != -1) {
- QModelIndex i = filterModel_->mapFromSource(model_->index(lastSel_, 0));
- if (i.isValid())
- setCurrentIndex(i.row());
- }
-
- // Workaround to resize to content size
- // FIXME: There must be a better way. The QComboBox::AdjustToContents)
- // does not help.
- if (view()->isVisible())
- QComboBox::showPopup();
-}
-
-
-void GuiLayoutBox::resetFilter()
-{
- setFilter(QString());
-}
-
-
-void GuiLayoutBox::showPopup()
-{
- resetFilter();
- owner_.message(_("Enter characters to filter the layout list."));
- QComboBox::showPopup();
-}
-
-
-bool GuiLayoutBox::eventFilter(QObject * o, QEvent * e)
-{
- if (e->type() != QEvent::KeyPress)
- return QComboBox::eventFilter(o, e);
-
- QKeyEvent * ke = static_cast<QKeyEvent*>(e);
- bool modified = (ke->modifiers() == Qt::ControlModifier)
- || (ke->modifiers() == Qt::AltModifier)
- || (ke->modifiers() == Qt::MetaModifier);
-
- switch (ke->key()) {
- case Qt::Key_Escape:
- if (!modified && !filter_.isEmpty()) {
- resetFilter();
- return true;
- }
- break;
- case Qt::Key_Backspace:
- if (!modified) {
- // cut off one character
- setFilter(filter_.left(filter_.length() - 1));
- }
- break;
- default:
- if (modified || ke->text().isEmpty())
- break;
- // find chars for the filter string
- QString s;
- for (int i = 0; i < ke->text().length(); ++i) {
- QChar c = ke->text()[i];
- if (c.isLetterOrNumber()
- || c.isSymbol()
- || c.isPunct()
- || c.category() == QChar::Separator_Space) {
- s += c;
- }
- }
- if (!s.isEmpty()) {
- // append new chars to the filter string
- setFilter(filter_ + s);
- return true;
- }
- break;
- }
-
- return QComboBox::eventFilter(o, e);
-}
-
-
-void GuiLayoutBox::set(docstring const & layout)