15.4.878  src/lib/src/gtk-via-pipe-unit-test.pkg

# gtk-via-pipe-unit-test.pkg 

# Compiled by:
#     src/lib/test/unit-tests.lib

# Run by:
#     src/lib/test/all-unit-tests.pkg

# Unit tests for:
#     src/lib/src/gtk-via-pipe.pkg

package gtk_via_pipe_unit_test {
    #
    include unit_test;                                          # unit_test                     is from   src/lib/src/unit-test.pkg
    #
    include gtk_via_pipe;                                       # gtk_via_pipe                  is from   src/lib/src/gtk-via-pipe.pkg

    name =  "src/lib/src/gtk-via-pipe-unit-test.pkg";

    fun run ()
        =
        {
            printf "\nDoing %s:\n" name;   

            session = make_session [];
            window = make_window session;

            set_delete_event_callback session window .{ print "Received DELETE_EVENT on main window.\n"; };
#           set_destroy_callback      session window .{ exit_main session; exit 0; };

            set_border_width (session, window, 10);

            button = make_button_with_label (session, "Hello World");

            set_clicked_callback session button  .{  print "Hello, world!\n";  destroy_widget( session, window );  };

            add_kid { session, kid => button, mom => window };

            show_widget (session, button); 
            show_widget (session, window);

            # As yet we have no way to press a button and
            # check that it was pushed, alas:

#           press_button (session, button);
#
#           main session;

            assert TRUE;

            summarize_unit_tests  name;
        };
};


## Code by Jeff Prothero: Copyright (c) 2010-2012,
## released under Gnu Public Licence version 3.