src/simulator-gui.ads

   1 with Gdk.Event; use Gdk.Event;
   2 with Gtk.Widget, Gtk.Handlers; use Gtk.Widget, Gtk.Handlers;
   3
   4 package Simulator.Gui is
   5         QuitInterface : Boolean := False;
   6    package Handlers is new Gtk.Handlers.Callback
   7      (Widget_Type => Gtk_Widget_Record);
   8
   9    package Return_Handlers is new Gtk.Handlers.Return_Callback
  10      (Widget_Type => Gtk_Widget_Record,
  11       Return_Type => Boolean);
  12
  13    function Delete_Event
  14      (Widget : access Gtk_Widget_Record'Class;
  15       Event  : Gdk_Event) return Boolean;
  16
  17    procedure Destroy (Widget : access Gtk_Widget_Record'Class);
  18
  19 end Simulator.Gui;