* editoptions.c (edit_options_dialog): Call edit_load_syntax()

if user	turned syntax highlighting off to unload the rules.

gtkedit/ChangeLog

@@ -1,3 +1,8 @@
+2001-07-19  Pavel Roskin  <proski@gnu.org>
+
+	* editoptions.c (edit_options_dialog): Call edit_load_syntax()
+	if user	turned syntax highlighting off to unload the rules.
+
 2001-07-17  Pavel Roskin  <proski@gnu.org>
 
 	* edit.h [MIDNIGHT]: Declare wedit.

gtkedit/editoptions.c

@@ -196,8 +196,8 @@ void edit_options_dialog (void)
 
 	    edit_key_emulation = *quick_widgets[13 + OA].result;
 
-	    /* Load syntax rules if user turned syntax highlighting on */
-	    if (option_syntax_highlighting && !old_syntax_hl)
+	    /* Load or unload syntax rules if the option has changed */
+	    if (option_syntax_highlighting != old_syntax_hl)
 		edit_load_syntax (wedit, 0, 0);
 
 	    return;