dev-ada/gtkada/files/gtkada-2.4.0.patch

   1 diff -ru GtkAda-2.4.0-orig/src/gtkada-mdi.adb GtkAda-2.4.0/src/gtkada-mdi.adb
   2 --- GtkAda-2.4.0-orig/src/gtkada-mdi.adb        2004-11-09 09:35:57.000000000 +0100
   3 +++ GtkAda-2.4.0/src/gtkada-mdi.adb     2006-05-18 23:15:13.917488750 +0200
   4 @@ -4778,6 +4778,7 @@
   5              when Top | Bottom =>
   6                 Widths (Side)  := 0;
   7                 Heights (Side) := Get_Allocation_Height (MDI.Docks (Side));
   8 +            when None => Null;
   9           end case;
  10
  11           --  If not allocated yet