Searched refs:pushed_command (Results 1 – 2 of 2) sorted by relevance
285 { the_workspace.pushed_command = command; } in push_Command()289 { return the_workspace.pushed_command; } in get_pushed_Command()316 UCS_string pushed_command; member in Workspace
440 UCS_string pushed_command = Workspace::get_pushed_Command(); in finish_context() local441 process_line(pushed_command); in finish_context()442 pushed_command.clear(); in finish_context()443 Workspace::push_Command(pushed_command); // clear in in finish_context()