GuiProgress::GuiProgress(GuiView & parent, Qt::DockWidgetArea area,
- Qt::WindowFlags flags) : DockView(parent, "latex-progress", area, flags)
+ Qt::WindowFlags flags) : DockView(parent, "view-console", area, flags)
{
- setWindowTitle(qt_("LaTeX Progress"));
+ setWindowTitle(qt_("External process monitoring"));
setWidget(&text_edit);
support::Systemcall::registerProgressInterface(this);
}
"thesaurus",
#endif
-"texinfo", "toc", "href", "view-source", "latex-progress", "vspace", "wrap", "listings" };
+"texinfo", "toc", "href", "view-source", "view-console", "vspace", "wrap", "listings" };
char const * const * const end_dialognames =
dialognames + (sizeof(dialognames) / sizeof(char *));
return createGuiLog(*this);
if (name == "view-source")
return createGuiViewSource(*this);
- if (name == "latex-progress")
+ if (name == "view-console")
return createGuiProgress(*this);
if (name == "mathdelimiter")
return createGuiDelimiter(*this);