wmgr.sa

Generated by gen_html_sa_files from ICSI. Contact gomes@icsi.berkeley.edu for details

 
---------------------------> Sather 1.1 source file <--------------------------

class TK_WINDOW_MGR
class TK_WINDOW_MGR
-- A wrapper for the window manager.
is
    create: SAME  is return new; end;
    
    title(t:TK_TOPLEVEL,s:STR)
    -- Setting the title of a window.
    is
	GUI_APP_END::eval("wm title ".append(t.widget_name," {",s,"}"));
    end;
    
end; -- class TK_WINDOW_MGR