diff src/editors.h @ 766:7148e125bf23

Check for existing editor command using is_valid_editor_command().
author zas_
date Fri, 30 May 2008 07:20:25 +0000
parents 477f48ba28d8
children ff51413f098d
line wrap: on
line diff
--- a/src/editors.h	Thu May 29 07:58:34 2008 +0000
+++ b/src/editors.h	Fri May 30 07:20:25 2008 +0000
@@ -74,4 +74,6 @@
 
 const gchar *editor_get_name(gint n);
 
+gboolean is_valid_editor_command(gint n);
+
 #endif