void monitor_section_going_away ();
-<<<<<<< HEAD
void monitor_section_attached ();
void monitor_section_detached ();
void sync_treeview_favorite_ui_state (const Gtk::TreeModel::Path&, const Gtk::TreeModel::iterator&);
void save_favorite_ui_state (const Gtk::TreeModel::iterator& iter, const Gtk::TreeModel::Path& path);
-=======
- void create_own_window ();
-
->>>>>>> the basics of tabbed
/// true if we are in fullscreen mode
bool _maximised;