gui_util.sa

 
---------------------------> Sather 1.1 source file <--------------------------
-- gui.sa: Include classes for widget users
-- Author: Benedict A. Gomes <gomes@samosa.ICSI.Berkeley.EDU>
-- Please look at the file "Documentation"
-- Copyright (C) 1995, International Computer Science Institute
-- gui_util.sa,v 1.1 1995/11/15 03:35:52 gomes Exp


partial class GUI_UTIL 
partial class GUI_UTIL is
    -- An include class for users of the gui. Simplifies
    -- the interface to the GUI.
    -- The idea is to have type safety while still preserving the
    -- convenience of the tk style of specifying events
    
    ----------------------- INTERFACE TO GUI MECHANISM -------------
    startup_gui is GUI_APP_END::startup; end;
    
    gui_loop  is GUI_APP_END::main_loop end;
    -- If you use this version (rather than intermittent poll_gui calls)
    -- it should be possible to create a single process version of your
    -- user interface with the same functionality by replacing
    -- this call with the Tk main loop 
    
    ----------------------- INTERFACE TO PACKER -------------------------
    packer: TK_PACK is return #TK_PACK end;
    -- Look at pack info for the standard configurations
    
    ----------------------- INTERFACE TO WIDGET CONFIGURATIONS ----------
    quit_routine: ROUT is 
	r:ROUT := bind(GUI_APP_END::terminate);
	return r;
    end;
    
    root_window: TK_TOPLEVEL is return TK_TOPLEVEL::root_window end;
   
    main
    is
	GUI_APP_END::startup;
	init;
	GUI_APP_END::main_loop;
    end;
    
    stub init;
end;