Searched refs:name_from_WSID (Results 1 – 2 of 2) sorted by relevance
222 bool name_from_WSID);
602 bool name_from_WSID) in save_WS() argument651 if (name_from_WSID) out << " " << the_workspace.WS_name; in save_WS()