#include "pager.h"
Public Member Functions | |
pager_stream () | |
~pager_stream () | |
void | flush_current_contents_to_diary () |
void | reset () |
void | set_diary_skip () |
std::ostream & | stream () |
void pager_stream::flush_current_contents_to_diary | ( | ) |
Definition at line 207 of file pager.cc.
References pager_buf::flush_current_contents_to_diary().
Referenced by output_system::close_diary().
void pager_stream::reset | ( | ) |
Definition at line 226 of file pager.cc.
Referenced by output_system::reset().
void pager_stream::set_diary_skip | ( | ) |
Definition at line 214 of file pager.cc.
References pager_buf::set_diary_skip().
Referenced by output_system::open_diary().
std::ostream & pager_stream::stream | ( | ) |
Definition at line 201 of file pager.cc.
Referenced by output_system::__stdout__(), and output_system::flush_stdout().