#include "gettext.h"
#include "LString.h"
#include <gnome--/app.h>
+#include <gnome--/app-helper.h>
#include "frontends/Menubar.h"
#include "commandtags.h"
#include "buffer.h"
/// lists (toc, lof, lot, loa)
struct ListsHolder {
string path;
- Gnome::UI::Array lst;
+ Gnome::UI::Array<Gnome::UI::Info> lst;
ListsHolder () { }
ListsHolder (const ListsHolder & a) { path = a.path; lst = a.lst; }
MenuBackend const * menubackend_;
///
string current_menu_name_;
- Gnome::UI::Array Menu_;
+ Gnome::UI::Array<Gnome::UI::Info> Menu_;
///
bool ignore_action_;