Reload current glossary format from DB, because

the plugin system can changed it automatically.

mod/glossary/mod.html

@@ -240,6 +240,10 @@ if (!$mainglossary or $mainglossary->id == $form->instance ) {
     <?php
         //get and update available formats
         $recformats = glossary_get_available_formats();
+        //reload current format, because of it has changed (deleted format)
+        if ($currentglossary = get_record("glossary",'id',$form->id)) {
+            $form->displayformat = $currentglossary->displayformat;
+        }
     
         $formats = array();