diff options
Diffstat (limited to 'src/keyboard.h')
| -rw-r--r-- | src/keyboard.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/keyboard.h b/src/keyboard.h index 7f36691a5a3..d103950fb2b 100644 --- a/src/keyboard.h +++ b/src/keyboard.h @@ -492,6 +492,7 @@ extern int quit_char; extern int timers_run; +extern int menu_separator_name_p (const char *); extern int parse_menu_item (Lisp_Object, int); extern void echo_now (void); |