From 6abe9e7249a8e9f993e2a98b78b3cb24335a0d5f Mon Sep 17 00:00:00 2001
From: Pavel Roskin <proski@gnu.org>
Date: Thu, 14 Jun 2001 21:07:58 +0000
Subject: [PATCH] * edit.c: Declare cmd_F* static. Comment out cmd_F9.

---
 gtkedit/ChangeLog    |  2 ++
 gtkedit/editwidget.c | 22 ++++++++++++----------
 2 files changed, 14 insertions(+), 10 deletions(-)

diff --git a/gtkedit/ChangeLog b/gtkedit/ChangeLog
index c438dbc4b..b6cd44a5a 100644
--- a/gtkedit/ChangeLog
+++ b/gtkedit/ChangeLog
@@ -1,5 +1,7 @@
 2001-06-14  Pavel Roskin  <proski@gnu.org>
 
+	* edit.c: Declare cmd_F* static. Comment out cmd_F9.
+
 	* edit.c: Use indented #error for compatibility with old C
 	compilers.
 
diff --git a/gtkedit/editwidget.c b/gtkedit/editwidget.c
index 7feb95d72..4798a7e2d 100644
--- a/gtkedit/editwidget.c
+++ b/gtkedit/editwidget.c
@@ -1080,52 +1080,54 @@ static void edit_my_define (Dlg_head * h, int idx, char *text,
 }
 
 
-void cmd_F1 (WEdit * edit)
+static void cmd_F1 (WEdit * edit)
 {
     send_message (edit->widget.parent, (Widget *) edit, WIDGET_KEY, KEY_F (1));
 }
 
-void cmd_F2 (WEdit * edit)
+static void cmd_F2 (WEdit * edit)
 {
     send_message (edit->widget.parent, (Widget *) edit, WIDGET_KEY, KEY_F (2));
 }
 
-void cmd_F3 (WEdit * edit)
+static void cmd_F3 (WEdit * edit)
 {
     send_message (edit->widget.parent, (Widget *) edit, WIDGET_KEY, KEY_F (3));
 }
 
-void cmd_F4 (WEdit * edit)
+static void cmd_F4 (WEdit * edit)
 {
     send_message (edit->widget.parent, (Widget *) edit, WIDGET_KEY, KEY_F (4));
 }
 
-void cmd_F5 (WEdit * edit)
+static void cmd_F5 (WEdit * edit)
 {
     send_message (edit->widget.parent, (Widget *) edit, WIDGET_KEY, KEY_F (5));
 }
 
-void cmd_F6 (WEdit * edit)
+static void cmd_F6 (WEdit * edit)
 {
     send_message (edit->widget.parent, (Widget *) edit, WIDGET_KEY, KEY_F (6));
 }
 
-void cmd_F7 (WEdit * edit)
+static void cmd_F7 (WEdit * edit)
 {
     send_message (edit->widget.parent, (Widget *) edit, WIDGET_KEY, KEY_F (7));
 }
 
-void cmd_F8 (WEdit * edit)
+static void cmd_F8 (WEdit * edit)
 {
     send_message (edit->widget.parent, (Widget *) edit, WIDGET_KEY, KEY_F (8));
 }
 
-void cmd_F9 (WEdit * edit)
+#if 0
+static void cmd_F9 (WEdit * edit)
 {
     send_message (edit->widget.parent, (Widget *) edit, WIDGET_KEY, KEY_F (9));
 }
+#endif
 
-void cmd_F10 (WEdit * edit)
+static void cmd_F10 (WEdit * edit)
 {
     send_message (edit->widget.parent, (Widget *) edit, WIDGET_KEY, KEY_F (10));
 }