#include "pager.h"
Public Member Functions | |
pager_buf (void) | |
void | flush_current_contents_to_diary (void) |
void | set_diary_skip (void) |
Protected Member Functions | |
int | sync (void) |
Private Attributes | |
std::size_t | m_diary_skip |
void pager_buf::flush_current_contents_to_diary | ( | void | ) |
Definition at line 147 of file pager.cc.
References len, m_diary_skip, and octave_diary.
Referenced by pager_stream::flush_current_contents_to_diary(), and sync().
void pager_buf::set_diary_skip | ( | void | ) |
Definition at line 159 of file pager.cc.
References m_diary_skip.
Referenced by pager_stream::set_diary_skip().
|
protected |
Definition at line 128 of file pager.cc.
References __get_output_system__(), flush_current_contents_to_diary(), len, and output_system::sync().
|
private |
Definition at line 62 of file pager.h.
Referenced by flush_current_contents_to_diary(), and set_diary_skip().