definition module ClientWindow; //from ioTypes import WindowId; // pc //from windowDef import WindowId; // mac //from deltaIOSystem import WindowID; //:: WindowId :== Int; :: WindowId2 :== Int; // ClientWindow :: ClientWindow = { visible_client_window :: !Bool , client_window_id :: !WindowId2 , n_messages :: !Int }; DefaultClientWindow :: ClientWindow; // GlobalClientWindow :: GlobalClientWindow = { visible_window_ids :: [WindowId2] //![!WindowId] }; DefaultGlobalClientWindow :: GlobalClientWindow;