diff options
Diffstat (limited to 'dev-ada/gtkada/files/gtkada-2.4.0.patch')
-rw-r--r-- | dev-ada/gtkada/files/gtkada-2.4.0.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ada/gtkada/files/gtkada-2.4.0.patch b/dev-ada/gtkada/files/gtkada-2.4.0.patch new file mode 100644 index 000000000000..063507f4a09b --- /dev/null +++ b/dev-ada/gtkada/files/gtkada-2.4.0.patch @@ -0,0 +1,11 @@ +diff -ru GtkAda-2.4.0-orig/src/gtkada-mdi.adb GtkAda-2.4.0/src/gtkada-mdi.adb +--- GtkAda-2.4.0-orig/src/gtkada-mdi.adb 2004-11-09 09:35:57.000000000 +0100 ++++ GtkAda-2.4.0/src/gtkada-mdi.adb 2006-05-18 23:15:13.917488750 +0200 +@@ -4778,6 +4778,7 @@ + when Top | Bottom => + Widths (Side) := 0; + Heights (Side) := Get_Allocation_Height (MDI.Docks (Side)); ++ when None => Null; + end case; + + -- If not allocated yet |