15.4.1555  src/lib/x-kit/widget/space/object/object-to-objectspace.pkg

## object-to-objectspace.pkg
#
# This port conveys object-imp requests to
#     src/lib/x-kit/widget/space/object/objectspace-imp.pkg

# Compiled by:
#     src/lib/x-kit/widget/xkit-widget.sublib



stipulate
    include package   threadkit;                                                                # threadkit                             is from   src/lib/src/lib/thread-kit/src/core-thread-kit/threadkit.pkg
    #
herein

    # This port is implemented in:
    #
    #     src/lib/x-kit/widget/space/object/objectspace-imp.pkg
    #
    package object_to_objectspace {
        #
        Object_To_Objectspace
          =
          { id:                 Id,                                                             # Unique id to facilitate storing guiboss instances in indexed datastructures like red-black trees.
            #
            look_changed:       Id -> Void                                                      # Given widget id has visibly changed state.
          };
    };                                                                                          # package guiboss;
end;