From 670e835772e6583fd99a60ac0a8d8e8aaf6c72a6 Mon Sep 17 00:00:00 2001
From: Steven Wittens <steven@10.no-reply.drupal.org>
Date: Tue, 29 Nov 2005 02:52:20 +0000
Subject:  - Menu wasn't being wiped after enabling/disabling themes

---
 modules/system/system.module | 1 +
 1 file changed, 1 insertion(+)

(limited to 'modules/system/system.module')

diff --git a/modules/system/system.module b/modules/system/system.module
index 9b4f92a8f..d31d4dd62 100644
--- a/modules/system/system.module
+++ b/modules/system/system.module
@@ -840,6 +840,7 @@ function system_themes_execute($form_id, $values) {
     variable_del('theme_default');
   }
 
+  menu_rebuild();
   drupal_set_message(t('The configuration options have been saved.'));
   drupal_goto('admin/themes');
 }
-- 
cgit v1.2.3