15.3.663  src/lib/x-kit/widget/lib/run-xkit.api

## run-xkit.api
#
# This package provides a higher-level interface to invoking applications.
# Users may set the shell variable "DISPLAY" to specify the display connection.

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


# This api is implemented in:
#
#     src/lib/x-kit/widget/lib/run-xkit.pkg

stipulate
    package wg =  widget;                               # widget        is from   src/lib/x-kit/widget/basic/widget.pkg
herein

    api Run_Xkit {

        run_xkit:  (wg::Root_Window -> Void) -> Void;

        Options
            =
            { display:                       Null_Or( String ),         # Connect to this display. String is as in DISPLAY environment var: "127.0.0.1:0.0" or such.
              time_quantum_in_milliseconds:  Null_Or( large_int::Int )  # Threadkit time quantum in ms. 
            };

        run_xkit':  (wg::Root_Window -> Void) -> Options -> Void;
    };

end;