void page_change (GtkNotebookPage*, guint);
unsigned int sort_column;
Gtk::SortType sort_type;
void toggle_sort_type ();
void search_string_updated (const std::string&);
void page_change (GtkNotebookPage*, guint);
unsigned int sort_column;
Gtk::SortType sort_type;
void toggle_sort_type ();
void search_string_updated (const std::string&);