]> git.lyx.org Git - lyx.git/blobdiff - src/frontends/qt4/Menus.cpp
On Linux show in crash message box the backtrace
[lyx.git] / src / frontends / qt4 / Menus.cpp
index b1e06fc00d31a3b348c18623addba10012aef534..707251dfbb27749c9d092b7cf6fcfd035f44abc0 100644 (file)
@@ -21,6 +21,7 @@
 #include "Action.h"
 #include "GuiApplication.h"
 #include "GuiView.h"
+#include "GuiWorkArea.h"
 #include "qt_helpers.h"
 
 #include "BiblioInfo.h"
 #include "FuncStatus.h"
 #include "IndicesList.h"
 #include "KeyMap.h"
+#include "Language.h"
+#include "Layout.h"
 #include "Lexer.h"
 #include "LyXAction.h"
-#include "LyX.h" // for lastfiles
-#include "LyXFunc.h"
+#include "LyX.h"
 #include "LyXRC.h"
+#include "lyxfind.h"
 #include "Paragraph.h"
+#include "ParagraphParameters.h"
 #include "ParIterator.h"
 #include "Session.h"
+#include "SpellChecker.h"
 #include "TextClass.h"
+#include "Text.h"
 #include "TocBackend.h"
 #include "Toolbars.h"
 #include "WordLangTuple.h"
 #include <QList>
 #include <QMenuBar>
 #include <QString>
+#if QT_VERSION >= 0x040600
+#include <QProxyStyle>
+#endif
 
-#include <boost/shared_ptr.hpp>
+#include "support/shared_ptr.h"
 
 #include <algorithm>
 #include <vector>
@@ -102,9 +111,9 @@ public:
                    menuitem is in a submenu, the submenu is enabled to make sure the
                    user sees the information. */
                Help,
-               /** This type of item merely shows that there might be a list or 
+               /** This type of item merely shows that there might be a list or
                    something alike at this position, but the list is still empty.
-                   If this item is in a submenu, the submenu will not always be 
+                   If this item is in a submenu, the submenu will not always be
                    enabled. */
                Info,
                /** This is the list of last opened file,
@@ -127,7 +136,7 @@ public:
                    typically for the File->Export menu. */
                ExportFormats,
                /** This is a list of importable formats
-                   typically for the File->Export menu. */
+                   typically for the File->Import menu. */
                ImportFormats,
                /** This is the list of elements available
                 * for insertion into document. */
@@ -164,7 +173,23 @@ public:
                /** Available graphics groups */
                GraphicsGroups,
                /// Words suggested by the spellchecker.
-               SpellingSuggestions
+               SpellingSuggestions,
+               /** Used Languages */
+               LanguageSelector,
+               /** This is the list of arguments available
+                   for insertion into the current layout. */
+               Arguments,
+               /** This is the list of arguments available
+                   in the InsetArgument context menu. */
+               SwitchArguments,
+               /** This is the list of captions available
+               in the current layout. */
+               Captions,
+               /** This is the list of captions available
+               in the InsetCaption context menu. */
+               SwitchCaptions,
+               /** Commands to separate environments. */
+               EnvironmentSeparators
        };
 
        explicit MenuItem(Kind kind) : kind_(kind), optional_(false) {}
@@ -172,40 +197,51 @@ public:
        MenuItem(Kind kind,
                 QString const & label,
                 QString const & submenu = QString(),
+                QString const & tooltip = QString(),
                 bool optional = false)
-               : kind_(kind), label_(label), submenuname_(submenu), optional_(optional)
+               : kind_(kind), label_(label), submenuname_(submenu),
+                 tooltip_(tooltip), optional_(optional)
        {
-               LASSERT(kind == Submenu || kind == Help || kind == Info, /**/);
+               LATTEST(kind == Submenu || kind == Help || kind == Info);
        }
 
        MenuItem(Kind kind,
                 QString const & label,
                 FuncRequest const & func,
+                QString const & tooltip = QString(),
                 bool optional = false,
                 FuncRequest::Origin origin = FuncRequest::MENU)
-               : kind_(kind), label_(label), func_(func), optional_(optional)
+               : kind_(kind), label_(label), func_(func),
+                 tooltip_(tooltip), optional_(optional)
        {
-               func_.origin = origin;
+               func_.setOrigin(origin);
        }
 
-       // boost::shared_ptr<MenuDefinition> needs this apprently...
+       // shared_ptr<MenuDefinition> needs this apprently...
        ~MenuItem() {}
 
        /// The label of a given menuitem
-       QString label() const { return label_.split('|')[0]; }
+       QString label() const
+       {
+               int const index = label_.lastIndexOf('|');
+               return index == -1 ? label_ : label_.left(index);
+       }
 
        /// The keyboard shortcut (usually underlined in the entry)
        QString shortcut() const
        {
-               return label_.contains('|') ? label_.split('|')[1] : QString();
+               int const index = label_.lastIndexOf('|');
+               return index == -1 ? QString() : label_.mid(index + 1);
        }
        /// The complete label, with label and shortcut separated by a '|'
-       QString fulllabel() const { return label_;}
+       QString fulllabel() const { return label_; }
        /// The kind of entry
        Kind kind() const { return kind_; }
        /// the action (if relevant)
        FuncRequest const & func() const { return func_; }
-       /// returns true if the entry should be ommited when disabled
+       /// the tooltip
+       QString const & tooltip() const { return tooltip_; }
+       /// returns true if the entry should be omitted when disabled
        bool optional() const { return optional_; }
        /// returns the status of the lfun associated with this entry
        FuncStatus const & status() const { return status_; }
@@ -222,11 +258,11 @@ public:
                // Get the keys bound to this action, but keep only the
                // first one later
                KeyMap::Bindings bindings = theTopLevelKeymap().findBindings(func_);
-               if (bindings.size())
+               if (!bindings.empty())
                        return toqstr(bindings.begin()->print(KeySequence::ForGui));
 
                LYXERR(Debug::KBMAP, "No binding for "
-                       << lyxaction.getActionName(func_.action)
+                       << lyxaction.getActionName(func_.action())
                        << '(' << func_.argument() << ')');
                return QString();
        }
@@ -257,6 +293,8 @@ private:
        ///
        QString submenuname_;
        ///
+       QString tooltip_;
+       ///
        bool optional_;
        ///
        FuncStatus status_;
@@ -290,7 +328,11 @@ public:
        const_iterator begin() const { return items_.begin(); }
        ///
        const_iterator end() const { return items_.end(); }
-       
+       ///
+       void cat(MenuDefinition const & other);
+       ///
+       void catSub(docstring const & name);
+
        // search for func in this menu iteratively, and put menu
        // names in a stack.
        bool searchMenu(FuncRequest const & func, docstring_list & names)
@@ -308,7 +350,7 @@ public:
        void expandLastfiles();
        void expandDocuments();
        void expandBookmarks();
-       void expandFormats(MenuItem::Kind kind, Buffer const * buf);
+       void expandFormats(MenuItem::Kind const kind, Buffer const * buf);
        void expandFloatListInsert(Buffer const * buf);
        void expandFloatInsert(Buffer const * buf);
        void expandFlexInsert(Buffer const * buf, InsetLayout::InsetLyXType type);
@@ -322,6 +364,10 @@ public:
        void expandCiteStyles(BufferView const *);
        void expandGraphicsGroups(BufferView const *);
        void expandSpellingSuggestions(BufferView const *);
+       void expandLanguageSelector(Buffer const * buf);
+       void expandArguments(BufferView const *, bool switcharg = false);
+       void expandCaptions(Buffer const * buf, bool switchcap = false);
+       void expandEnvironmentSeparators(BufferView const *);
        ///
        ItemList items_;
        ///
@@ -428,18 +474,27 @@ void MenuDefinition::read(Lexer & lex)
                md_pasterecent,
                md_toolbars,
                md_graphicsgroups,
-               md_spellingsuggestions
+               md_spellingsuggestions,
+               md_languageselector,
+               md_arguments,
+               md_switcharguments,
+               md_captions,
+               md_switchcaptions,
+               md_env_separators
        };
 
        LexerKeyword menutags[] = {
+               { "arguments", md_arguments },
                { "bookmarks", md_bookmarks },
                { "branches", md_branches },
+               { "captions", md_captions },
                { "charstyles", md_charstyles },
                { "citestyles", md_citestyles },
                { "custom", md_custom },
                { "documents", md_documents },
                { "elements", md_elements },
                { "end", md_endmenu },
+               { "environmentseparators", md_env_separators },
                { "exportformats", md_exportformats },
                { "floatinsert", md_floatinsert },
                { "floatlistinsert", md_floatlistinsert },
@@ -450,6 +505,7 @@ void MenuDefinition::read(Lexer & lex)
                { "indiceslists", md_indiceslists },
                { "indiceslistscontext", md_indiceslistscontext },
                { "item", md_item },
+               { "languageselector", md_languageselector },
                { "lastfiles", md_lastfiles },
                { "optitem", md_optitem },
                { "optsubmenu", md_optsubmenu },
@@ -457,6 +513,8 @@ void MenuDefinition::read(Lexer & lex)
                { "separator", md_separator },
                { "spellingsuggestions", md_spellingsuggestions },
                { "submenu", md_submenu },
+               { "switcharguments", md_switcharguments },
+               { "switchcaptions", md_switchcaptions },
                { "toc", md_toc },
                { "toolbars", md_toolbars },
                { "updateformats", md_updateformats },
@@ -466,14 +524,10 @@ void MenuDefinition::read(Lexer & lex)
        lex.pushTable(menutags);
        lex.setContext("MenuDefinition::read: ");
 
-       bool quit = false;
-       bool optional = false;
-
-       while (lex.isOK() && !quit) {
-               switch (lex.lex()) {
+       int md_type = 0;
+       while (lex.isOK() && md_type != md_endmenu) {
+               switch (md_type = lex.lex()) {
                case md_optitem:
-                       optional = true;
-                       // fallback to md_item
                case md_item: {
                        lex.next(true);
                        docstring const name = translateIfPossible(lex.getDocString());
@@ -483,8 +537,8 @@ void MenuDefinition::read(Lexer & lex)
                        FuncRequest::Origin origin = FuncRequest::MENU;
                        if (name_.startsWith("context-toc-"))
                                origin = FuncRequest::TOC;
-                       add(MenuItem(MenuItem::Command, toqstr(name), func, optional, origin));
-                       optional = false;
+                       bool const optional = (md_type == md_optitem);
+                       add(MenuItem(MenuItem::Command, toqstr(name), func, QString(), optional, origin));
                        break;
                }
 
@@ -568,6 +622,10 @@ void MenuDefinition::read(Lexer & lex)
                        add(MenuItem(MenuItem::SpellingSuggestions));
                        break;
 
+               case md_languageselector:
+                       add(MenuItem(MenuItem::LanguageSelector));
+                       break;
+
                case md_indices:
                        add(MenuItem(MenuItem::Indices));
                        break;
@@ -584,22 +642,39 @@ void MenuDefinition::read(Lexer & lex)
                        add(MenuItem(MenuItem::IndicesListsContext));
                        break;
 
+               case md_arguments:
+                       add(MenuItem(MenuItem::Arguments));
+                       break;
+
+               case md_switcharguments:
+                       add(MenuItem(MenuItem::SwitchArguments));
+                       break;
+
+               case md_captions:
+                       add(MenuItem(MenuItem::Captions));
+                       break;
+
+               case md_switchcaptions:
+                       add(MenuItem(MenuItem::SwitchCaptions));
+                       break;
+
+               case md_env_separators:
+                       add(MenuItem(MenuItem::EnvironmentSeparators));
+                       break;
+
                case md_optsubmenu:
-                       optional = true;
-                       // fallback to md_submenu
                case md_submenu: {
                        lex.next(true);
                        docstring const mlabel = translateIfPossible(lex.getDocString());
                        lex.next(true);
                        docstring const mname = lex.getDocString();
+                       bool const optional = (md_type == md_optsubmenu);
                        add(MenuItem(MenuItem::Submenu,
-                               toqstr(mlabel), toqstr(mname), optional));
-                       optional = false;
+                               toqstr(mlabel), toqstr(mname), QString(), optional));
                        break;
                }
 
                case md_endmenu:
-                       quit = true;
                        break;
 
                default:
@@ -626,6 +701,20 @@ bool MenuDefinition::hasFunc(FuncRequest const & func) const
 }
 
 
+void MenuDefinition::catSub(docstring const & name)
+{
+       add(MenuItem(MenuItem::Submenu,
+                    qt_("More...|M"), toqstr(name), QString(), false));
+}
+
+void MenuDefinition::cat(MenuDefinition const & other)
+{
+       const_iterator et = other.end();
+       for (const_iterator it = other.begin(); it != et; ++it)
+               add(*it);
+}
+
+
 void MenuDefinition::checkShortcuts() const
 {
        // This is a quadratic algorithm, but we do not care because
@@ -677,12 +766,6 @@ bool MenuDefinition::searchMenu(FuncRequest const & func, docstring_list & names
 }
 
 
-bool compareFormat(Format const * p1, Format const * p2)
-{
-       return *p1 < *p2;
-}
-
-
 QString limitStringLength(docstring const & str)
 {
        size_t const max_item_length = 45;
@@ -705,10 +788,10 @@ void MenuDefinition::expandGraphicsGroups(BufferView const * bv)
 
        set<string>::const_iterator it = grp.begin();
        set<string>::const_iterator end = grp.end();
-       add(MenuItem(MenuItem::Command, qt_("No Group"), 
+       add(MenuItem(MenuItem::Command, qt_("No Group"),
                     FuncRequest(LFUN_SET_GRAPHICS_GROUP)));
-       for (; it != end; it++) {
-               addWithStatusCheck(MenuItem(MenuItem::Command, toqstr(*it),
+       for (; it != end; ++it) {
+               addWithStatusCheck(MenuItem(MenuItem::Command, toqstr(*it) + '|',
                                FuncRequest(LFUN_SET_GRAPHICS_GROUP, *it)));
        }
 }
@@ -718,29 +801,142 @@ void MenuDefinition::expandSpellingSuggestions(BufferView const * bv)
 {
        if (!bv)
                return;
+       Cursor const & cur = bv->cursor();
+       if (!cur.inTexted())
+               return;
        WordLangTuple wl;
        docstring_list suggestions;
-       pos_type from = bv->cursor().pos();
+       Paragraph const & par = cur.paragraph();
+       pos_type from = cur.pos();
        pos_type to = from;
-       Paragraph const & par = bv->cursor().paragraph();
-       if (!par.spellCheck(from, to, wl, suggestions))
+       SpellChecker::Result res = par.spellCheck(from, to, wl, suggestions, true, true);
+       switch (res) {
+       case SpellChecker::UNKNOWN_WORD:
+               if (lyxrc.spellcheck_continuously) {
+                       LYXERR(Debug::GUI, "Misspelled Word! Suggested Words = ");
+                       docstring const & selection = cur.selectionAsString(false);
+                       if (!cur.selection() || selection == wl.word()) {
+                               size_t i = 0;
+                               size_t m = 10; // first submenu index
+                               MenuItem item(MenuItem::Submenu, qt_("More Spelling Suggestions"));
+                               item.setSubmenu(MenuDefinition(qt_("More Spelling Suggestions")));
+                               for (; i != suggestions.size(); ++i) {
+                                       docstring const & suggestion = suggestions[i];
+                                       LYXERR(Debug::GUI, suggestion);
+                                       MenuItem w(MenuItem::Command, toqstr(suggestion),
+                                               FuncRequest(LFUN_WORD_REPLACE,
+                                                       replace2string(suggestion, selection,
+                                                               true,     // case sensitive
+                                                               true,     // match word
+                                                               false,    // all words
+                                                               true,     // forward
+                                                               false))); // find next
+                                       if (i < m)
+                                               add(w);
+                                       else
+                                               item.submenu().add(w);
+                               }
+                               if (i > m)
+                                       add(item);
+                               if (i > 0)
+                                       add(MenuItem(MenuItem::Separator));
+                               docstring const arg = wl.word() + " " + from_ascii(wl.lang()->lang());
+                               add(MenuItem(MenuItem::Command, qt_("Add to personal dictionary|n"),
+                                               FuncRequest(LFUN_SPELLING_ADD, arg)));
+                               add(MenuItem(MenuItem::Command, qt_("Ignore all|I"),
+                                               FuncRequest(LFUN_SPELLING_IGNORE, arg)));
+                       }
+               }
+               break;
+       case SpellChecker::LEARNED_WORD: {
+                       LYXERR(Debug::GUI, "Learned Word.");
+                       docstring const arg = wl.word() + " " + from_ascii(wl.lang()->lang());
+                       add(MenuItem(MenuItem::Command, qt_("Remove from personal dictionary|r"),
+                                       FuncRequest(LFUN_SPELLING_REMOVE, arg)));
+               }
+               break;
+       case SpellChecker::NO_DICTIONARY:
+               LYXERR(Debug::GUI, "No dictionary for language " + from_ascii(wl.lang()->lang()));
+               // FALLTHROUGH
+       case SpellChecker::WORD_OK:
+       case SpellChecker::COMPOUND_WORD:
+       case SpellChecker::ROOT_FOUND:
+       case SpellChecker::IGNORED_WORD:
+               break;
+       }
+}
+
+struct sortLanguageByName {
+       bool operator()(const Language * a, const Language * b) const {
+               return qt_(a->display()).localeAwareCompare(qt_(b->display())) < 0;
+       }
+};
+
+void MenuDefinition::expandLanguageSelector(Buffer const * buf)
+{
+       if (!buf)
                return;
-       LYXERR(Debug::GUI, "Misspelled Word! Suggested Words = ");
-       size_t i = 0;
-       MenuItem item(MenuItem::Submenu, qt_("More Spelling Suggestions"));
-       item.setSubmenu(MenuDefinition(qt_("More Spelling Suggestions")));
-       for (; i != suggestions.size(); ++i) {
-               docstring const & suggestion = suggestions[i];
-               LYXERR(Debug::GUI, suggestion);
-               MenuItem w(MenuItem::Command, toqstr(suggestion),
-                       FuncRequest(LFUN_WORD_REPLACE, suggestion));
-               if (i < 10)
-                       add(w);
-               else
-                       item.submenu().add(w);
+
+       std::set<Language const *> languages_buffer =
+               buf->masterBuffer()->getLanguages();
+
+       if (languages_buffer.size() < 2)
+               return;
+
+       std::set<Language const *, sortLanguageByName> languages;
+
+       std::set<Language const *>::const_iterator const beg =
+               languages_buffer.begin();
+       for (std::set<Language const *>::const_iterator cit = beg;
+            cit != languages_buffer.end(); ++cit) {
+               languages.insert(*cit);
        }
-       if (i >= 10)
-               add(item);
+
+       MenuItem item(MenuItem::Submenu, qt_("Language|L"));
+       item.setSubmenu(MenuDefinition(qt_("Language")));
+       QString morelangs = qt_("More Languages ...|M");
+       QStringList accelerators;
+       if (morelangs.contains('|'))
+               accelerators.append(morelangs.section('|', -1));
+       std::set<Language const *, sortLanguageByName>::const_iterator const begin = languages.begin();
+       for (std::set<Language const *, sortLanguageByName>::const_iterator cit = begin;
+            cit != languages.end(); ++cit) {
+               QString label = qt_((*cit)->display());
+               // try to add an accelerator
+               bool success = false;
+               // try capitals first
+               for (int i = 0; i < label.size(); ++i) {
+                       QChar const ch = label[i];
+                       if (!ch.isUpper())
+                               continue;
+                       if (!accelerators.contains(ch, Qt::CaseInsensitive)) {
+                               label = label + toqstr("|") + ch;
+                               accelerators.append(ch);
+                               success = true;
+                               break;
+                       }
+               }
+               // if all capitals are taken, try the rest
+               if (!success) {
+                       for (int i = 0; i < label.size(); ++i) {
+                               if (label[i].isSpace())
+                                       continue;
+                               QString const ch = QString(label[i]);
+                               if (!accelerators.contains(ch, Qt::CaseInsensitive)) {
+                                       label = label + toqstr("|") + ch;
+                                       accelerators.append(ch);
+                                       break;
+                               }
+                       }
+               }
+               MenuItem w(MenuItem::Command, label,
+                       FuncRequest(LFUN_LANGUAGE, (*cit)->lang() + " set"));
+               item.submenu().addWithStatusCheck(w);
+       }
+       item.submenu().add(MenuItem(MenuItem::Separator));
+       item.submenu().add(MenuItem(MenuItem::Command, morelangs,
+                       FuncRequest(LFUN_DIALOG_SHOW, "character")));
+       add(item);
 }
 
 
@@ -752,54 +948,70 @@ void MenuDefinition::expandLastfiles()
        unsigned int ii = 1;
 
        for (; lfit != lf.end() && ii <= lyxrc.num_lastfiles; ++lfit, ++ii) {
-               string const file = lfit->absFilename();
+               string const file = lfit->absFileName();
+               QString const short_path = toqstr(makeDisplayPath(file, 30));
+               QString const long_path = toqstr(makeDisplayPath(file));
                QString label;
                if (ii < 10)
-                       label = QString("%1. %2|%3").arg(ii)
-                               .arg(toqstr(makeDisplayPath(file, 30))).arg(ii);
+                       label = QString("%1. %2|%3").arg(ii).arg(short_path).arg(ii);
                else
-                       label = QString("%1. %2").arg(ii)
-                               .arg(toqstr(makeDisplayPath(file, 30)));
-               add(MenuItem(MenuItem::Command, label, FuncRequest(LFUN_FILE_OPEN, file)));
+                       label = QString("%1. %2").arg(ii).arg(short_path);
+               add(MenuItem(MenuItem::Command, label,
+                       FuncRequest(LFUN_FILE_OPEN, file), long_path));
        }
 }
 
 
 void MenuDefinition::expandDocuments()
 {
-       MenuItem item(MenuItem::Submenu, qt_("Invisible"));
-       item.setSubmenu(MenuDefinition(qt_("Invisible")));
+       MenuItem item(MenuItem::Submenu, qt_("Hidden|H"));
+       item.setSubmenu(MenuDefinition(qt_("Hidden|H")));
 
        Buffer * first = theBufferList().first();
-       if (first) {
-               Buffer * b = first;
-               int vis = 1;
-               int invis = 1;
-               
-               // We cannot use a for loop as the buffer list cycles.
-               do {
+       if (!first) {
+               add(MenuItem(MenuItem::Info, qt_("<No Documents Open>")));
+               return;
+       }
+
+       int i = 0;
+       while (true) {
+               if (!guiApp->currentView())
+                       break;
+               GuiWorkArea * wa = guiApp->currentView()->workArea(i);
+               if (!wa)
+                       break;
+               Buffer const & b = wa->bufferView().buffer();
+               QString label = toqstr(b.fileName().displayName(20));
+               if (!b.isClean())
+                       label += "*";
+               if (i < 10)
+                       label = QString::number(i) + ". " + label + '|' + QString::number(i);
+               add(MenuItem(MenuItem::Command, label,
+                       FuncRequest(LFUN_BUFFER_SWITCH, b.absFileName())));
+               ++i;
+       }
+
+
+       i = 0;
+       Buffer * b = first;
+       // We cannot use a for loop as the buffer list cycles.
+       do {
+               if (!(guiApp->currentView()
+                   && guiApp->currentView()->workArea(*b))) {
                        QString label = toqstr(b->fileName().displayName(20));
                        if (!b->isClean())
                                label += "*";
-                       bool const shown = guiApp->currentView()->workArea(*b);
-                       int ii = shown ? vis : invis;
-                       if (ii < 10)
-                               label = QString::number(ii) + ". " + label + '|' + QString::number(ii);
-                       if (shown) {
-                               add(MenuItem(MenuItem::Command, label,
-                                       FuncRequest(LFUN_BUFFER_SWITCH, b->absFileName())));
-                               ++vis;
-                       } else {
-                               item.submenu().add(MenuItem(MenuItem::Command, label,
-                                       FuncRequest(LFUN_BUFFER_SWITCH, b->absFileName())));
-                               ++invis;
-                       }
-                       b = theBufferList().next(b);
-               } while (b != first); 
-               if (!item.submenu().empty())
-                       add(item);
-       } else
-               add(MenuItem(MenuItem::Info, qt_("<No Documents Open>")));
+                       if (i < 10)
+                               label = QString::number(i) + ". " + label + '|' + QString::number(i);
+                       item.submenu().add(MenuItem(MenuItem::Command, label,
+                               FuncRequest(LFUN_BUFFER_SWITCH, b->absFileName())));
+                       ++i;
+               }
+               b = theBufferList().next(b);
+       } while (b != first);
+
+       if (!item.submenu().empty())
+               add(item);
 }
 
 
@@ -810,7 +1022,7 @@ void MenuDefinition::expandBookmarks()
        bool empty = true;
        for (size_t i = 1; i <= bm.size(); ++i) {
                if (bm.isValid(i)) {
-                       string const file = bm.bookmark(i).filename.absFilename();
+                       string const file = bm.bookmark(i).filename.absFileName();
                        QString const label = QString("%1. %2|%3").arg(i)
                                .arg(toqstr(makeDisplayPath(file, 20))).arg(i);
                        add(MenuItem(MenuItem::Command, label,
@@ -823,14 +1035,14 @@ void MenuDefinition::expandBookmarks()
 }
 
 
-void MenuDefinition::expandFormats(MenuItem::Kind kind, Buffer const * buf)
+void MenuDefinition::expandFormats(MenuItem::Kind const kind, Buffer const * buf)
 {
        if (!buf && kind != MenuItem::ImportFormats)
                return;
 
        typedef vector<Format const *> Formats;
        Formats formats;
-       FuncCode action;
+       FuncCode action = LFUN_NOACTION;
 
        switch (kind) {
        case MenuItem::ImportFormats:
@@ -838,26 +1050,30 @@ void MenuDefinition::expandFormats(MenuItem::Kind kind, Buffer const * buf)
                action = LFUN_BUFFER_IMPORT;
                break;
        case MenuItem::ViewFormats:
-               formats = buf->exportableFormats(true);
+               formats = buf->params().exportableFormats(true);
                action = LFUN_BUFFER_VIEW;
                break;
        case MenuItem::UpdateFormats:
-               formats = buf->exportableFormats(true);
+               formats = buf->params().exportableFormats(true);
                action = LFUN_BUFFER_UPDATE;
                break;
-       default:
-               formats = buf->exportableFormats(false);
+       case MenuItem::ExportFormats:
+               formats = buf->params().exportableFormats(false);
                action = LFUN_BUFFER_EXPORT;
+               break;
+       default:
+               LATTEST(false);
+               return;
        }
-       sort(formats.begin(), formats.end(), &compareFormat);
+       sort(formats.begin(), formats.end(), Format::formatSorter);
 
        bool const view_update = (kind == MenuItem::ViewFormats
                        || kind == MenuItem::UpdateFormats);
 
        QString smenue;
        if (view_update)
-               smenue = (kind == MenuItem::ViewFormats ?
-                       qt_("View (Other Formats)|F")
+               smenue = (kind == MenuItem::ViewFormats
+                       qt_("View (Other Formats)|F")
                        : qt_("Update (Other Formats)|p"));
        MenuItem item(MenuItem::Submenu, smenue);
        item.setSubmenu(MenuDefinition(smenue));
@@ -869,59 +1085,56 @@ void MenuDefinition::expandFormats(MenuItem::Kind kind, Buffer const * buf)
                        continue;
 
                docstring lab = from_utf8((*fit)->prettyname());
-               docstring scut = from_utf8((*fit)->shortcut());
+               docstring const scut = from_utf8((*fit)->shortcut());
                docstring const tmplab = lab;
+
                if (!scut.empty())
                        lab += char_type('|') + scut;
-               docstring lab_i18n = translateIfPossible(lab);
+               docstring const lab_i18n = translateIfPossible(lab);
+               docstring const shortcut = split(lab_i18n, lab, '|');
+
                bool const untranslated = (lab == lab_i18n);
-               QString const shortcut = toqstr(split(lab_i18n, lab, '|'));
-               QString label = toqstr(lab);
-               if (untranslated)
-                       // this might happen if the shortcut
-                       // has been redefined
-                       label = toqstr(translateIfPossible(tmplab));
+               docstring label = untranslated ? translateIfPossible(tmplab) : lab;
 
                switch (kind) {
                case MenuItem::ImportFormats:
-                       label += "...";
+                       label += from_ascii("...");
                        break;
                case MenuItem::ViewFormats:
                case MenuItem::UpdateFormats:
-                       if ((*fit)->name() == buf->getDefaultOutputFormat()) {
-                               docstring lbl = (kind == MenuItem::ViewFormats ?
-                                       bformat(_("View [%1$s]|V"), qstring_to_ucs4(label))
-                                       : bformat(_("Update [%1$s]|U"), qstring_to_ucs4(label)));
-                               MenuItem w(MenuItem::Command, toqstr(lbl),
-                                               FuncRequest(action, (*fit)->name()));
-                               add(w);
+                       if ((*fit)->name() == buf->params().getDefaultOutputFormat()) {
+                               docstring lbl = (kind == MenuItem::ViewFormats
+                                       ? bformat(_("View [%1$s]|V"), label)
+                                       : bformat(_("Update [%1$s]|U"), label));
+                               add(MenuItem(MenuItem::Command, toqstr(lbl), FuncRequest(action)));
                                continue;
                        }
+               // fall through
                case MenuItem::ExportFormats:
-                       if (!(*fit)->documentFormat())
+                       if (!(*fit)->inExportMenu())
                                continue;
                        break;
                default:
-                       LASSERT(false, /**/);
-                       break;
+                       // we already asserted earlier in this case
+                       // LATTEST(false);
+                       continue;
                }
-               if (!shortcut.isEmpty())
+               if (!shortcut.empty())
                        label += '|' + shortcut;
 
                if (view_update) {
                        if (buf)
-                               item.submenu().addWithStatusCheck(MenuItem(MenuItem::Command, label,
-                                       FuncRequest(action, (*fit)->name())));
+                               item.submenu().addWithStatusCheck(MenuItem(MenuItem::Command,
+                                       toqstr(label), FuncRequest(action, (*fit)->name())));
                        else
-                               item.submenu().add(MenuItem(MenuItem::Command, label,
+                               item.submenu().add(MenuItem(MenuItem::Command, toqstr(label),
                                        FuncRequest(action, (*fit)->name())));
                } else {
                        if (buf)
-                               addWithStatusCheck(MenuItem(MenuItem::Command, label,
+                               addWithStatusCheck(MenuItem(MenuItem::Command, toqstr(label),
                                        FuncRequest(action, (*fit)->name())));
                        else
-                               add(MenuItem(MenuItem::Command, label,
+                               add(MenuItem(MenuItem::Command, toqstr(label),
                                        FuncRequest(action, (*fit)->name())));
                }
        }
@@ -938,11 +1151,26 @@ void MenuDefinition::expandFloatListInsert(Buffer const * buf)
        FloatList const & floats = buf->params().documentClass().floats();
        FloatList::const_iterator cit = floats.begin();
        FloatList::const_iterator end = floats.end();
+       set<string> seen;
        for (; cit != end; ++cit) {
-               addWithStatusCheck(MenuItem(MenuItem::Command,
-                                   qt_(cit->second.listName()),
-                                   FuncRequest(LFUN_FLOAT_LIST_INSERT,
-                                               cit->second.type())));
+               if (!cit->second.usesFloatPkg()) {
+                       // Different floats could declare the same ListCommand. We only
+                       // want it on the list once, though.
+                       string const & list_cmd = cit->second.listCommand();
+                       if (list_cmd.empty())
+                               // we do not know how to generate such a list
+                               continue;
+                       // This form of insert returns an iterator pointing to the newly
+                       // inserted element OR the existing element with that value, and
+                       // a bool indicating whether we inserted a new element. So we can
+                       // see if one is there and insert it if not all at once.
+                       pair<set<string>::iterator, bool> ret = seen.insert(list_cmd);
+                       if (!ret.second)
+                               continue;
+               }
+               string const & list_name = cit->second.listName();
+               addWithStatusCheck(MenuItem(MenuItem::Command, qt_(list_name),
+                       FuncRequest(LFUN_FLOAT_LIST_INSERT, cit->second.floattype())));
        }
 }
 
@@ -960,7 +1188,7 @@ void MenuDefinition::expandFloatInsert(Buffer const * buf)
                QString const label = qt_(cit->second.name());
                addWithStatusCheck(MenuItem(MenuItem::Command, label,
                                    FuncRequest(LFUN_FLOAT_INSERT,
-                                               cit->second.type())));
+                                               cit->second.floattype())));
        }
 }
 
@@ -977,8 +1205,11 @@ void MenuDefinition::expandFlexInsert(
        TextClass::InsetLayouts::const_iterator end = insetLayouts.end();
        for (; cit != end; ++cit) {
                if (cit->second.lyxtype() == type) {
-                       docstring const label = cit->first;
-                       addWithStatusCheck(MenuItem(MenuItem::Command, 
+                       docstring label = cit->first;
+                       // we remove the "Flex:" prefix, if it is present
+                       if (prefixIs(label, from_utf8("Flex:")))
+                               label = label.substr(5);
+                       addWithStatusCheck(MenuItem(MenuItem::Command,
                                toqstr(translateIfPossible(label)),
                                FuncRequest(LFUN_FLEX_INSERT, Lexer::quoteString(label))));
                }
@@ -1007,10 +1238,12 @@ void MenuDefinition::expandToc2(Toc const & toc_list,
                for (size_t i = from; i < to; ++i) {
                        QString label(4 * max(0, toc_list[i].depth() - depth), ' ');
                        label += limitStringLength(toc_list[i].str());
-                       if (toc_list[i].depth() == depth
-                           && shortcut_count < 9) {
-                               if (label.contains(QString::number(shortcut_count + 1)))
-                                       label += '|' + QString::number(++shortcut_count);
+                       if (toc_list[i].depth() == depth) {
+                               label += '|';
+                           if (shortcut_count < 9) {
+                                       if (label.contains(QString::number(shortcut_count + 1)))
+                                               label += QString::number(++shortcut_count);
+                               }
                        }
                        add(MenuItem(MenuItem::Command, label,
                                            FuncRequest(toc_list[i].action())));
@@ -1024,10 +1257,12 @@ void MenuDefinition::expandToc2(Toc const & toc_list,
 
                        QString label(4 * max(0, toc_list[pos].depth() - depth), ' ');
                        label += limitStringLength(toc_list[pos].str());
-                       if (toc_list[pos].depth() == depth &&
-                           shortcut_count < 9) {
-                               if (label.contains(QString::number(shortcut_count + 1)))
-                                       label += '|' + QString::number(++shortcut_count);
+                       if (toc_list[pos].depth() == depth) {
+                               label += '|';
+                           if (shortcut_count < 9) {
+                                       if (label.contains(QString::number(shortcut_count + 1)))
+                                               label += QString::number(++shortcut_count);
+                               }
                        }
                        if (new_pos == pos + 1) {
                                add(MenuItem(MenuItem::Command,
@@ -1067,7 +1302,7 @@ void MenuDefinition::expandToc(Buffer const * buf)
        }
 
        MenuDefinition other_lists;
-       
+
        FloatList const & floatlist = buf->params().documentClass().floats();
        TocList const & toc_list = buf->tocBackend().tocs();
        TocList::const_iterator cit = toc_list.begin();
@@ -1086,7 +1321,7 @@ void MenuDefinition::expandToc(Buffer const * buf)
                        TocIterator eend = cit->second.end();
                        for (; ccit != eend; ++ccit) {
                                submenu.add(MenuItem(MenuItem::Command,
-                                       limitStringLength(ccit->str()),
+                                       limitStringLength(ccit->str()) + '|',
                                        FuncRequest(ccit->action())));
                        }
                }
@@ -1111,7 +1346,7 @@ void MenuDefinition::expandToc(Buffer const * buf)
        if (cit == end)
                LYXERR(Debug::GUI, "No table of contents.");
        else {
-               if (cit->second.size() > 0 ) 
+               if (!cit->second.empty())
                        expandToc2(cit->second, 0, cit->second.size(), 0);
                else
                        add(MenuItem(MenuItem::Info, qt_("<Empty Table of Contents>")));
@@ -1127,7 +1362,7 @@ void MenuDefinition::expandPasteRecent(Buffer const * buf)
        docstring_list::const_iterator end = sel.end();
 
        for (unsigned int index = 0; cit != end; ++cit, ++index) {
-               add(MenuItem(MenuItem::Command, toqstr(*cit),
+               add(MenuItem(MenuItem::Command, toqstr(*cit) + '|',
                                    FuncRequest(LFUN_PASTE, convert<string>(index))));
        }
 }
@@ -1181,12 +1416,12 @@ void MenuDefinition::expandBranches(Buffer const * buf)
                                    FuncRequest(LFUN_BRANCH_INSERT,
                                                cit->branch())));
        }
-       
+
        if (buf == buf->masterBuffer())
                return;
-       
+
        MenuDefinition child_branches;
-       
+
        BranchList::const_iterator ccit = params.branchlist().begin();
        BranchList::const_iterator cend = params.branchlist().end();
 
@@ -1195,13 +1430,14 @@ void MenuDefinition::expandBranches(Buffer const * buf)
                if (ii < 10) {
                        label = convert<docstring>(ii) + ". " + label
                                + char_type('|') + convert<docstring>(ii);
-               }
+               } else
+                       label += char_type('|');
                child_branches.addWithStatusCheck(MenuItem(MenuItem::Command,
                                    toqstr(label),
                                    FuncRequest(LFUN_BRANCH_INSERT,
                                                ccit->branch())));
        }
-       
+
        if (!child_branches.empty()) {
                MenuItem item(MenuItem::Submenu, qt_("Child Document"));
                item.setSubmenu(child_branches);
@@ -1237,16 +1473,16 @@ void MenuDefinition::expandIndices(Buffer const * buf, bool listof)
        IndicesList::const_iterator end = params.indiceslist().end();
 
        for (int ii = 1; cit != end; ++cit, ++ii) {
-               if (listof)
-                       addWithStatusCheck(MenuItem(MenuItem::Command, toqstr(cit->index()),
-                                          FuncRequest(LFUN_INDEX_PRINT,
-                                                 cit->shortcut())));
-               else {
-                       docstring label = _("Index Entry");
-                       label += " (" + cit->index() + ")";
+               if (listof) {
+                       docstring const label =
+                               bformat(_("Index: %1$s"), cit->index());
                        addWithStatusCheck(MenuItem(MenuItem::Command, toqstr(label),
-                                          FuncRequest(LFUN_INDEX_INSERT,
-                                                 cit->shortcut())));
+                                          FuncRequest(LFUN_INDEX_PRINT, cit->shortcut())));
+               } else {
+                       docstring const label =
+                               bformat(_("Index Entry (%1$s)"), cit->index());
+                       addWithStatusCheck(MenuItem(MenuItem::Command, toqstr(label),
+                                          FuncRequest(LFUN_INDEX_INSERT, cit->shortcut())));
                }
        }
 }
@@ -1268,14 +1504,14 @@ void MenuDefinition::expandIndicesContext(Buffer const * buf, bool listof)
                if (listof) {
                        InsetCommandParams p(INDEX_PRINT_CODE);
                        p["type"] = cit->shortcut();
-                       string const data = InsetCommand::params2string("index_print", p);
+                       string const data = InsetCommand::params2string(p);
                        addWithStatusCheck(MenuItem(MenuItem::Command, toqstr(cit->index()),
-                                          FuncRequest(LFUN_NEXT_INSET_MODIFY, data)));
+                                          FuncRequest(LFUN_INSET_MODIFY, data)));
                } else {
-                       docstring label = _("Index Entry");
-                       label += " (" + cit->index() + ")";
+                       docstring const label =
+                                       bformat(_("Index Entry (%1$s)"), cit->index());
                        addWithStatusCheck(MenuItem(MenuItem::Command, toqstr(label),
-                                          FuncRequest(LFUN_NEXT_INSET_MODIFY,
+                                          FuncRequest(LFUN_INSET_MODIFY,
                                                  from_ascii("changetype ") + cit->shortcut())));
                }
        }
@@ -1296,31 +1532,180 @@ void MenuDefinition::expandCiteStyles(BufferView const * bv)
        }
        InsetCommand const * citinset =
                                static_cast<InsetCommand const *>(inset);
-       
+
        Buffer const * buf = &bv->buffer();
-       docstring key = citinset->getParam("key");
-       // we can only handle one key currently
-       if (contains(key, ','))
-               key = qstring_to_ucs4(toqstr(key).split(',')[0]);
+       string const cmd = citinset->params().getCmdName();
+
+       docstring const & key = citinset->getParam("key");
+       if (key.empty()) {
+               add(MenuItem(MenuItem::Command,
+                                   qt_("No citations selected!"),
+                                   FuncRequest(LFUN_NOACTION)));
+               return;
+       }
+
+       docstring const & before = citinset->getParam("before");
+       docstring const & after = citinset->getParam("after");
+
+       size_t const n = cmd.size();
+       bool const force = cmd[0] == 'C';
+       bool const full = cmd[n] == '*';
+
+       vector<docstring> const keys = getVectorFromString(key);
 
-       vector<CiteStyle> citeStyleList = citeStyles(buf->params().citeEngine());
-       docstring_list citeStrings =
-               buf->masterBibInfo().getCiteStrings(key, bv->buffer());
+       vector<CitationStyle> const citeStyleList = buf->params().citeStyles();
+       static const size_t max_length = 40;
+       vector<docstring> citeStrings =
+               buf->masterBibInfo().getCiteStrings(keys, citeStyleList, bv->buffer(),
+               before, after, from_utf8("dialog"), max_length);
 
-       docstring_list::const_iterator cit = citeStrings.begin();
-       docstring_list::const_iterator end = citeStrings.end();
+       vector<docstring>::const_iterator cit = citeStrings.begin();
+       vector<docstring>::const_iterator end = citeStrings.end();
 
        for (int ii = 1; cit != end; ++cit, ++ii) {
                docstring label = *cit;
-               CitationStyle cs;
-               CiteStyle cst = citeStyleList[ii - 1];
-               cs.style = cst;
+               CitationStyle cs = citeStyleList[ii - 1];
+               cs.forceUpperCase &= force;
+               cs.fullAuthorList &= full;
                addWithStatusCheck(MenuItem(MenuItem::Command, toqstr(label),
-                                   FuncRequest(LFUN_NEXT_INSET_MODIFY,
+                                   FuncRequest(LFUN_INSET_MODIFY,
                                                "changetype " + from_utf8(citationStyleToString(cs)))));
        }
 }
 
+
+void MenuDefinition::expandArguments(BufferView const * bv, bool switcharg)
+{
+       if (!bv)
+               return;
+
+       if (!bv->cursor().inTexted())
+               return;
+
+       Inset const * inset = &bv->cursor().inset();
+       Layout::LaTeXArgMap args = bv->cursor().paragraph().layout().args();
+       if (inset && args.empty())
+               args = inset->getLayout().args();
+       if (args.empty() || (switcharg && args.size() == 1))
+               return;
+       Layout::LaTeXArgMap::const_iterator lait = args.begin();
+       Layout::LaTeXArgMap::const_iterator const laend = args.end();
+       for (; lait != laend; ++lait) {
+               Layout::latexarg arg = (*lait).second;
+               docstring str = arg.menustring.empty()? arg.labelstring : arg.menustring;
+               QString item = toqstr(translateIfPossible(str));
+               if (switcharg)
+                       add(MenuItem(MenuItem::Command, item,
+                                    FuncRequest(LFUN_INSET_MODIFY,
+                                                from_ascii("changetype ")
+                                                + from_ascii((*lait).first))));
+               else
+                       add(MenuItem(MenuItem::Command, item,
+                                    FuncRequest(LFUN_ARGUMENT_INSERT,
+                                                from_ascii((*lait).first))));
+       }
+}
+
+
+void MenuDefinition::expandCaptions(Buffer const * buf, bool switchcap)
+{
+       if (!buf)
+               return;
+
+       vector<docstring> caps;
+       DocumentClass const & dc = buf->params().documentClass();
+       TextClass::InsetLayouts::const_iterator lit = dc.insetLayouts().begin();
+       TextClass::InsetLayouts::const_iterator len = dc.insetLayouts().end();
+       for (; lit != len; ++lit) {
+               if (prefixIs(lit->first, from_ascii("Caption:")))
+                       caps.push_back(lit->first);
+       }
+
+       if (caps.empty() || (switchcap && caps.size() == 1))
+               return;
+       if (caps.size() == 1) {
+               docstring dummy;
+               docstring const type = split(*caps.begin(), dummy, ':');
+               add(MenuItem(MenuItem::Command, qt_("Caption"),
+                        FuncRequest(LFUN_CAPTION_INSERT, translateIfPossible(type))));
+               return;
+       }
+
+       MenuDefinition captions;
+
+       vector<docstring>::const_iterator cit = caps.begin();
+       vector<docstring>::const_iterator end = caps.end();
+
+       for (int ii = 1; cit != end; ++cit, ++ii) {
+               docstring dummy;
+               docstring const type = split(*cit, dummy, ':');
+               docstring const trtype = translateIfPossible(type);
+               docstring const cmitem = bformat(_("Caption (%1$s)"), trtype);
+               // make menu item optional, otherwise we would also see
+               // forbidden caption types
+               if (switchcap)
+                       addWithStatusCheck(MenuItem(MenuItem::Command, toqstr(cmitem),
+                                    FuncRequest(LFUN_INSET_MODIFY,
+                                                from_ascii("changetype ")
+                                                + type), QString(), true));
+               else
+                       captions.addWithStatusCheck(MenuItem(MenuItem::Command,
+                                                            toqstr(trtype),
+                                                            FuncRequest(LFUN_CAPTION_INSERT,
+                                                            type), QString(), true));
+       }
+       if (!captions.empty()) {
+               MenuItem item(MenuItem::Submenu, qt_("Caption"));
+               item.setSubmenu(captions);
+               add(item);
+       }
+}
+
+
+void MenuDefinition::expandEnvironmentSeparators(BufferView const * bv)
+{
+       if (!bv)
+               return;
+       Text const * text = bv->cursor().text();
+       // no paragraphs and no separators exist in math
+       if (!text)
+               return;
+
+       pit_type pit = bv->cursor().selBegin().pit();
+       Paragraph const & par = text->getPar(pit);
+       docstring const curlayout = par.layout().name();
+       docstring outerlayout;
+       depth_type current_depth = par.params().depth();
+       // check if we have an environment in our nesting hierarchy
+       Paragraph cpar = par;
+       while (true) {
+               if (pit == 0 || cpar.params().depth() == 0)
+                       break;
+               --pit;
+               cpar = text->getPar(pit);
+               if (cpar.params().depth() < current_depth
+                   && cpar.layout().isEnvironment()) {
+                               outerlayout = cpar.layout().name();
+                               current_depth = cpar.params().depth();
+               }
+       }
+       if (par.layout().isEnvironment()) {
+               docstring const label =
+                       bformat(_("Start New Environment (%1$s)"),
+                               translateIfPossible(curlayout));
+               add(MenuItem(MenuItem::Command, toqstr(label),
+                            FuncRequest(LFUN_ENVIRONMENT_SPLIT)));
+       }
+       if (!outerlayout.empty()) {
+               docstring const label =
+                       bformat(_("Start New Parent Environment (%1$s)"),
+                               translateIfPossible(outerlayout));
+               add(MenuItem(MenuItem::Command, toqstr(label),
+                            FuncRequest(LFUN_ENVIRONMENT_SPLIT,
+                                        from_ascii("outer"))));
+       }
+}
+
 } // namespace anon
 
 
@@ -1368,7 +1753,7 @@ static QString label(MenuItem const & mi)
 void Menu::Impl::populate(QMenu & qMenu, MenuDefinition const & menu)
 {
        LYXERR(Debug::GUI, "populating menu " << menu.name());
-       if (menu.size() == 0) {
+       if (menu.empty()) {
                LYXERR(Debug::GUI, "\tERROR: empty menu " << menu.name());
                return;
        }
@@ -1384,19 +1769,38 @@ void Menu::Impl::populate(QMenu & qMenu, MenuDefinition const & menu)
                        subMenu->setEnabled(m->status().enabled());
                } else {
                        // we have a MenuItem::Command
-                       qMenu.addAction(new Action(view, QIcon(), label(*m), 
-                               m->func(), QString(), &qMenu));
+                       qMenu.addAction(new Action(QIcon(), label(*m),
+                               m->func(), m->tooltip(), &qMenu));
                }
        }
 }
 
+#if defined(Q_WS_WIN) && (QT_VERSION >= 0x040600)
+class AlwaysMnemonicStyle : public QProxyStyle {
+public:
+       int styleHint(StyleHint hint, const QStyleOption *opt = 0, const QWidget *widget = 0,
+               QStyleHintReturn *returnData = 0) const
+       {
+               if (hint == QStyle::SH_UnderlineShortcut)
+                       return 1;
+               return QProxyStyle::styleHint(hint, opt, widget, returnData);
+       }
+};
+#endif
+
 /////////////////////////////////////////////////////////////////////
 // Menu implementation
 /////////////////////////////////////////////////////////////////////
 
-Menu::Menu(GuiView * gv, QString const & name, bool top_level)
+Menu::Menu(GuiView * gv, QString const & name, bool top_level, bool keyboard)
 : QMenu(gv), d(new Menu::Impl)
 {
+#if defined(Q_WS_WIN) && (QT_VERSION >= 0x040600)
+       if (keyboard)
+               setStyle(new AlwaysMnemonicStyle);
+#else
+       (void) keyboard;
+#endif
        d->top_level_menu = top_level? new MenuDefinition : 0;
        d->view = gv;
        d->name = name;
@@ -1419,6 +1823,17 @@ void Menu::updateView()
 }
 
 
+void Menu::clear()
+{
+       QList<QAction *> items = actions();
+       for (int i = 0; i != items.size(); ++i) {
+               // QAction::menu() returns 0 if there's no submenu.
+               delete items.at(i)->menu();
+       }
+       QMenu::clear();
+}
+
+
 /////////////////////////////////////////////////////////////////////
 // Menus::Impl definition and implementation
 /////////////////////////////////////////////////////////////////////
@@ -1434,13 +1849,15 @@ struct Menus::Impl {
        /// Expands some special entries of the menu
        /** The entries with the following kind are expanded to a
            sequence of Command MenuItems: Lastfiles, Documents,
-           ViewFormats, ExportFormats, UpdateFormats, Branches, Indices
+           ViewFormats, ExportFormats, UpdateFormats, Branches,
+           Indices, Arguments, SwitchArguments, Captions, SwitchCaptions,
+           EnvironmentSeparators
        */
        void expand(MenuDefinition const & frommenu, MenuDefinition & tomenu,
                BufferView const *) const;
 
        /// Initialize specific MACOS X menubar
-       void macxMenuBarInit(GuiView * view, QMenuBar * qmb);
+       void macxMenuBarInit(QMenuBar * qmb);
 
        /// Mac special menu.
        /** This defines a menu whose entries list the FuncRequests
@@ -1490,7 +1907,7 @@ MenuDefinition Menus::Impl::mac_special_menu_;
   that this menubar will be used also when one of LyX' dialogs has
   focus. (JMarc)
 */
-void Menus::Impl::macxMenuBarInit(GuiView * view, QMenuBar * qmb)
+void Menus::Impl::macxMenuBarInit(QMenuBar * qmb)
 {
        /* Since Qt 4.2, the qt/mac menu code has special code for
           specifying the role of a menu entry. However, it does not
@@ -1513,19 +1930,23 @@ void Menus::Impl::macxMenuBarInit(GuiView * view, QMenuBar * qmb)
                QAction::MenuRole role;
        };
 
-       MacMenuEntry entries[] = {
+       static MacMenuEntry entries[] = {
                {LFUN_DIALOG_SHOW, "aboutlyx", "About LyX",
                 QAction::AboutRole},
                {LFUN_DIALOG_SHOW, "prefs", "Preferences",
                 QAction::PreferencesRole},
+#if !(defined(QT_MAC_USE_COCOA) || (QT_VERSION >= 0x050000))
+               /* This doesn't work with Cocoa. */
                {LFUN_RECONFIGURE, "", "Reconfigure",
                 QAction::ApplicationSpecificRole},
+#endif
                {LFUN_LYX_QUIT, "", "Quit LyX", QAction::QuitRole}
        };
        const size_t num_entries = sizeof(entries) / sizeof(entries[0]);
+       const bool first_call = mac_special_menu_.empty();
 
        // the special menu for Menus. Fill it up only once.
-       if (mac_special_menu_.size() == 0) {
+       if (first_call) {
                for (size_t i = 0 ; i < num_entries ; ++i) {
                        FuncRequest const func(entries[i].action,
                                from_utf8(entries[i].arg));
@@ -1533,14 +1954,14 @@ void Menus::Impl::macxMenuBarInit(GuiView * view, QMenuBar * qmb)
                                entries[i].label, func));
                }
        }
-       
+
        // add the entries to a QMenu that will eventually be empty
        // and therefore invisible.
        QMenu * qMenu = qmb->addMenu("special");
        MenuDefinition::const_iterator cit = mac_special_menu_.begin();
        MenuDefinition::const_iterator end = mac_special_menu_.end();
        for (size_t i = 0 ; cit != end ; ++cit, ++i) {
-               Action * action = new Action(view, QIcon(), cit->label(),
+               Action * action = new Action(QIcon(), cit->label(),
                        cit->func(), QString(), qMenu);
                action->setMenuRole(entries[i].role);
                qMenu->addAction(action);
@@ -1641,6 +2062,30 @@ void Menus::Impl::expand(MenuDefinition const & frommenu,
                        tomenu.expandSpellingSuggestions(bv);
                        break;
 
+               case MenuItem::LanguageSelector:
+                       tomenu.expandLanguageSelector(buf);
+                       break;
+
+               case MenuItem::Arguments:
+                       tomenu.expandArguments(bv, false);
+                       break;
+
+               case MenuItem::SwitchArguments:
+                       tomenu.expandArguments(bv, true);
+                       break;
+
+               case MenuItem::Captions:
+                       tomenu.expandCaptions(buf, false);
+                       break;
+
+               case MenuItem::SwitchCaptions:
+                       tomenu.expandCaptions(buf, true);
+                       break;
+
+               case MenuItem::EnvironmentSeparators:
+                       tomenu.expandEnvironmentSeparators(bv);
+                       break;
+
                case MenuItem::Submenu: {
                        MenuItem item(*cit);
                        item.setSubmenu(MenuDefinition(cit->submenuname()));
@@ -1681,9 +2126,10 @@ MenuDefinition const & Menus::Impl::getMenu(QString const & name) const
 {
        const_iterator cit = find_if(menulist_.begin(), menulist_.end(),
                MenuNamesEqual(name));
-       if (cit == menulist_.end())
+       if (cit == menulist_.end()) {
                LYXERR0("No submenu named " << name);
-       LASSERT(cit != menulist_.end(), /**/);
+               LASSERT(false, { static const MenuDefinition m; return m; });
+       }
        return (*cit);
 }
 
@@ -1692,16 +2138,17 @@ MenuDefinition & Menus::Impl::getMenu(QString const & name)
 {
        iterator it = find_if(menulist_.begin(), menulist_.end(),
                MenuNamesEqual(name));
-       if (it == menulist_.end())
+       if (it == menulist_.end()) {
                LYXERR0("No submenu named " << name);
-       LASSERT(it != menulist_.end(), /**/);
+               LASSERT(false, { static MenuDefinition m; return m; });
+       }
        return (*it);
 }
 
 
 /////////////////////////////////////////////////////////////////////
 //
-// Menus 
+// Menus
 //
 /////////////////////////////////////////////////////////////////////
 
@@ -1726,7 +2173,7 @@ void Menus::read(Lexer & lex)
        enum {
                md_menu,
                md_menubar,
-               md_endmenuset,
+               md_endmenuset
        };
 
        LexerKeyword menutags[] = {
@@ -1791,7 +2238,7 @@ void Menus::fillMenuBar(QMenuBar * qmb, GuiView * view, bool initial)
                // create duplicate items in the application menu. It seems
                // that Qt does not remove them when the QMenubar is cleared.
                LYXERR(Debug::GUI, "Creating Mac OS X special menu bar");
-               d->macxMenuBarInit(view, qmb);
+               d->macxMenuBarInit(qmb);
 #endif
        } else {
                // Clear all menubar contents before filling it.
@@ -1800,7 +2247,7 @@ void Menus::fillMenuBar(QMenuBar * qmb, GuiView * view, bool initial)
 
        LYXERR(Debug::GUI, "populating menu bar" << d->menubar_.name());
 
-       if (d->menubar_.size() == 0) {
+       if (d->menubar_.empty()) {
                LYXERR(Debug::GUI, "\tERROR: empty menu bar"
                        << d->menubar_.name());
                return;
@@ -1835,6 +2282,14 @@ void Menus::fillMenuBar(QMenuBar * qmb, GuiView * view, bool initial)
 
                Menu * menu = new Menu(view, m->submenuname(), true);
                menu->setTitle(label(*m));
+
+#if defined(Q_WS_MACX) && (defined(QT_MAC_USE_COCOA) || (QT_VERSION >= 0x050000))
+               // On Mac OS with QT/cocoa, the menu is not displayed if there is no action
+               // so we create a temporary one here
+               QAction * action = new QAction(menu);
+               menu->addAction(action);
+#endif
+
                qmb->addMenu(menu);
 
                d->name_map_[view][name] = menu;
@@ -1850,14 +2305,35 @@ void Menus::updateMenu(Menu * qmenu)
        if (qmenu->d->name.isEmpty())
                return;
 
-       if (!d->hasMenu(qmenu->d->name)) {
+       docstring identifier = qstring_to_ucs4(qmenu->d->name);
+       MenuDefinition fromLyxMenu(qmenu->d->name);
+       while (!identifier.empty()) {
+               docstring menu_name;
+               identifier = split(identifier, menu_name, ';');
+
+               if (!d->hasMenu(toqstr(menu_name))) {
+                       LYXERR(Debug::GUI, "\tWARNING: non existing menu: "
+                               << menu_name);
+                       continue;
+               }
+
+               MenuDefinition cat_menu = d->getMenu(toqstr(menu_name));
+               //FIXME: 50 is a wild guess. We should take into account here
+               //the expansion of menu items, disabled optional items etc.
+               bool const in_sub_menu = !fromLyxMenu.empty()
+                       && fromLyxMenu.size() + cat_menu.size() > 50 ;
+               if (in_sub_menu)
+                       fromLyxMenu.catSub(menu_name);
+               else
+                       fromLyxMenu.cat(cat_menu);
+               fromLyxMenu.add(MenuItem(MenuItem::Separator));
+       }
+
+       if (fromLyxMenu.empty()) {
                qmenu->addAction(qt_("No Action Defined!"));
-               LYXERR(Debug::GUI, "\tWARNING: non existing menu: "
-                       << qmenu->d->name);
                return;
        }
 
-       MenuDefinition const & fromLyxMenu = d->getMenu(qmenu->d->name);
        BufferView * bv = 0;
        if (qmenu->d->view)
                bv = qmenu->d->view->currentBufferView();
@@ -1866,7 +2342,7 @@ void Menus::updateMenu(Menu * qmenu)
 }
 
 
-Menu * Menus::menu(QString const & name, GuiView & view)
+Menu * Menus::menu(QString const & name, GuiView & view, bool keyboard)
 {
        LYXERR(Debug::GUI, "Context menu requested: " << name);
        Menu * menu = d->name_map_[&view].value(name, 0);
@@ -1875,7 +2351,7 @@ Menu * Menus::menu(QString const & name, GuiView & view)
                return 0;
        }
 
-       menu = new Menu(&view, name, true);
+       menu = new Menu(&view, name, true, keyboard);
        d->name_map_[&view][name] = menu;
        return menu;
 }