method destroy =
match tabs with
(_,c) :: _ ->
for i = 0 to List.length tabs - 1 do
nb#remove_page i
done;
on_destroy (Some c);
nb#destroy()
| [] -> on_destroy None; nb#destroy ()