* 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
Этот коммит содержится в:
родитель
83d110c9a1
Коммит
6c0249ad0e
@ -1,5 +1,9 @@
|
||||
2001-07-13 Pavel Roskin <proski@gnu.org>
|
||||
|
||||
* 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.
|
||||
|
@ -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;
|
||||
|
Загрузка…
Ссылка в новой задаче
Block a user