If "Get_Current_Page(Tac_IF_NB : Gtk.Notebook)" is called from inside the button callback procedure, it works. This makes sense because an event must take place first prior to the call.