Lines Matching full:pushbuffer
1025 # We use the ui.pushbuffer/ui.popbuffer + hg_commands.xxx tricks for all interaction1071 ui.pushbuffer()