Jürgen Spitzmüller wrote: > It would be a duplicate of UI entries. I'm not opposed, but it's certainly > not > good UI design.
eyes need to see the 'pdflatex' string somewhere in the menu to get quick orientation and better on a constant place with other formats. i propose this patch. it could be that we introduce rc setting if you dont like it this way. maybe rename from 'other formats' to 'all formats' would be appropriate too. pavel
diff --git a/src/frontends/qt4/Menus.cpp b/src/frontends/qt4/Menus.cpp index 2e38072..9f960d2 100644 --- a/src/frontends/qt4/Menus.cpp +++ b/src/frontends/qt4/Menus.cpp @@ -876,10 +876,6 @@ void MenuDefinition::expandFormats(MenuItem::Kind kind, Buffer const * buf) case MenuItem::ImportFormats: label += "..."; break; - case MenuItem::ViewFormats: - case MenuItem::UpdateFormats: - if ((*fit)->name() == buf->getDefaultOutputFormat()) - continue; case MenuItem::ExportFormats: if (!(*fit)->documentFormat()) continue;