Merge branch 'topic/W525-011' into 'master'

W525-011: Add a Get_Tab_Label function for MDI_Child

See merge request eng/ide/gtkada!8

Author: AnthonyLeonardoGracio

src/gtkada-mdi.adb

@@ -2154,6 +2154,17 @@ package body Gtkada.MDI is
       end if;
    end Get_Tab_Orientation;
 
+   -------------------
+   -- Get_Tab_Label --
+   -------------------
+
+   function Get_Tab_Label
+     (Child : not null access MDI_Child_Record'Class)
+      return Gtk.Label.Gtk_Label is
+   begin
+      return Child.Tab_Label;
+   end Get_Tab_Label;
+
    ----------------------------------
    -- Button_Pressed_On_Title_Icon --
    ----------------------------------

src/gtkada-mdi.ads

@@ -405,6 +405,11 @@ package Gtkada.MDI is
       return Tab_Orientation_Type;
    --  Return the child's tab orientation
 
+   function Get_Tab_Label
+     (Child : not null access MDI_Child_Record'Class)
+      return Gtk.Label.Gtk_Label;
+   --  Return the child's tab label
+
    function Get_Child_Notebook
      (Child : access MDI_Child_Record'Class) return Gtk.Notebook.Gtk_Notebook;
    --  Return the notebook that directly contains Child