--- a/src/pager.h	Thu Dec 14 23:02:49 2000 +0000
+++ b/src/pager.h	Fri Dec 15 03:14:45 2000 +0000
@@ -36,13 +36,20 @@
 {
 public:
 
-  octave_pager_buf (int size = 0) : std::strstreambuf (size) { }
+  octave_pager_buf (int size = 0)
+    : std::strstreambuf (size), diary_skip (0) { }
 
   void flush_current_contents_to_diary (void);
 
+  void set_diary_skip (void);
+
 protected:
 
   int sync (void);
+
+private:
+
+  size_t diary_skip;
 };
 
 class
@@ -58,6 +65,8 @@
 
   void flush_current_contents_to_diary (void);
 
+  void set_diary_skip (void);
+
   static octave_pager_stream& stream (void);
 
 private: