md_custom,
md_elements,
md_endmenu,
- md_exportformats,
md_exportformat,
+ md_exportformats,
md_importformats,
md_indices,
md_indicescontext,
{ "elements", md_elements },
{ "end", md_endmenu },
{ "environmentseparators", md_env_separators },
- { "exportformats", md_exportformats },
{ "exportformat", md_exportformat },
+ { "exportformats", md_exportformats },
{ "floatinsert", md_floatinsert },
{ "floatlistinsert", md_floatlistinsert },
{ "graphicsgroups", md_graphicsgroups },
QString label = toqstr(b.fileName().displayName(20));
if (!b.isClean())
label += "*";
+ if (b.notifiesExternalModification())
+ label += QChar(0x26a0);
if (i < 10)
label = QString::number(i) + ". " + label + '|' + QString::number(i);
add(MenuItem(MenuItem::Command, label,
QString label = toqstr(b->fileName().displayName(20));
if (!b->isClean())
label += "*";
+ if (b->notifiesExternalModification())
+ label += QChar(0x26a0);
if (i < 10)
label = QString::number(i) + ". " + label + '|' + QString::number(i);
item.submenu().add(MenuItem(MenuItem::Command, label,