From 6c0249ad0e59ef0800d43050cef74be954c401f7 Mon Sep 17 00:00:00 2001 From: Pavel Roskin Date: Fri, 13 Jul 2001 23:03:11 +0000 Subject: [PATCH] * editoptions.c (edit_options_dialog): Allow numbers for tab spacing. Reported by mharris@redhat.com. http://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=34852 --- gtkedit/ChangeLog | 4 ++++ gtkedit/editoptions.c | 3 +++ 2 files changed, 7 insertions(+) diff --git a/gtkedit/ChangeLog b/gtkedit/ChangeLog index 57b719f6f..d89055a93 100644 --- a/gtkedit/ChangeLog +++ b/gtkedit/ChangeLog @@ -1,5 +1,9 @@ 2001-07-13 Pavel Roskin + * editoptions.c (edit_options_dialog): Allow numbers for tab + spacing. Reported by mharris@redhat.com. + http://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=34852 + * editcmd.c (menu_save_mode_cmd): Give meaningful names to the input fields instead of "i" so that they have separate history. * editoptions.c (edit_options_dialog): Likewise. diff --git a/gtkedit/editoptions.c b/gtkedit/editoptions.c index 9f1422d8f..33382b958 100644 --- a/gtkedit/editoptions.c +++ b/gtkedit/editoptions.c @@ -168,7 +168,10 @@ void edit_options_dialog (void) option_tab_spacing = atoi (q); if (option_tab_spacing < 0) option_tab_spacing = 2; +#if 0 + /* Only allow even numbers */ option_tab_spacing += option_tab_spacing & 1; +#endif free (q); } option_syntax_highlighting = *quick_widgets[5 + OA].result;