# HG changeset patch
# User Dan
# Date 1204854468 18000
# Node ID c4d6e9b3b9647e85a8a13863d783d3495e5cfa55
# Parent  f26a69c40431a1ba0c9a7db51bb64ebd0bd64157
Fixed bad style update during theme uninstall.

diff -r f26a69c40431 -r c4d6e9b3b964 plugins/admin/ThemeManager.php
--- a/plugins/admin/ThemeManager.php	Thu Mar 06 20:47:11 2008 -0500
+++ b/plugins/admin/ThemeManager.php	Thu Mar 06 20:47:48 2008 -0500
@@ -400,7 +400,7 @@
         $db->die_json();
       
       // Change all the users that were on that theme to the default
-      $default_style = $themes[$theme_default]['default_style'];
+      $default_style = $template->named_theme_list[$theme_default]['default_style'];
       $default_style = preg_replace('/\.css$/', '', $default_style);
       
       $theme_default = $db->escape($theme_default);