internal void SwapPrevious()
{
object ob = tabs [notebook.CurrentPage];
tabs [notebook.CurrentPage] = tabs [notebook.CurrentPage - 1];
tabs [notebook.CurrentPage - 1] = ob;
Gtk.Widget cp = notebook.GetNthPage(notebook.CurrentPage);
notebook.ReorderChild(cp, notebook.CurrentPage - 1);
}