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;

Reply via email to