# HG changeset patch
# User jwe
# Date 863714832 0
# Node ID 467aae13b70ab6b378f73f86208d39877f681d1e
# Parent  458cea5c8356a3d39b192472aa0fe78034d20a5a
[project @ 1997-05-15 16:47:12 by jwe]

diff -r 458cea5c8356 -r 467aae13b70a liboctave/cmd-edit.cc
--- a/liboctave/cmd-edit.cc	Mon May 12 20:17:35 1997 +0000
+++ b/liboctave/cmd-edit.cc	Thu May 15 16:47:12 1997 +0000
@@ -568,6 +568,13 @@
 }
 
 void
+command_editor::increment_current_command_number (void)
+{
+  if (instance_ok ())
+    instance->command_number++;
+}
+
+void
 command_editor::restore_terminal_state (void)
 {
   if (instance_ok ())
diff -r 458cea5c8356 -r 467aae13b70a liboctave/cmd-edit.h
--- a/liboctave/cmd-edit.h	Mon May 12 20:17:35 1997 +0000
+++ b/liboctave/cmd-edit.h	Thu May 15 16:47:12 1997 +0000
@@ -89,6 +89,8 @@
 
   static void reset_current_command_number (int n);
 
+  static void increment_current_command_number (void);
+
 private:
 
   // No copying!