#include "Buffer.h"
#include "BufferParams.h"
#include "BufferView.h"
-#include "support/debug.h"
#include "FuncRequest.h"
-#include "support/gettext.h"
#include "InsetSpecialChar.h"
#include "KeyMap.h"
#include "LaTeXFeatures.h"
#include "ParagraphParameters.h"
#include "TextClassList.h"
+#include "frontends/Application.h"
+
+#include "support/debug.h"
#include "support/docstream.h"
#include "support/FileName.h"
+#include "support/gettext.h"
#include "support/lstrings.h"
#include "support/ExceptionMessage.h"
break;
}
// iterate through the menubackend to find it
- Menu menu = menubackend.getMenubar();
+ Menu menu = theApp()->menuBackend().getMenubar();
if (!menu.searchFunc(func, names)) {
setText(_("No menu entry for "), bp.getFont(), false);
break;