definition module projwin pm_update_project_window :: !*state -> *state