Searched refs:ws_frames (Results 1 – 1 of 1) sorted by relevance
1190 Cell ws_frames (ws_list.size (), 1); in workspace() local1194 ws_frames(i++) = elt; in workspace()1196 return ws_frames; in workspace()