diff src/pager.h @ 3477:4b79cb009dd4

[project @ 2000-01-26 00:55:22 by jwe]
author jwe
date Wed, 26 Jan 2000 00:55:23 +0000
parents 8bb31a2b480b
children d14c483b3c12
line wrap: on
line diff
--- a/src/pager.h	Wed Jan 26 00:05:45 2000 +0000
+++ b/src/pager.h	Wed Jan 26 00:55:23 2000 +0000
@@ -39,6 +39,8 @@
 
   octave_pager_buf (int size = 0) : strstreambuf (size) { }
 
+  void flush_current_contents_to_diary (void);
+
 protected:
 
   int sync (void);
@@ -55,6 +57,8 @@
 
   ~octave_pager_stream (void);
 
+  void flush_current_contents_to_diary (void);
+
   static octave_pager_stream& stream (void);
 
 private: