--- themes.php	2007-05-30 00:48:00.000000000 +0200
+++ themes_new.php	2007-11-19 15:24:22.000000000 +0100
@@ -7,7 +7,12 @@
 		exit;
 	}
 	bb_check_admin_referer( 'switch-theme' );
+	// temporary workaround for path problem in windows
+	if ( strpos($_GET['theme'], '\\\\') !== false ) 
+	  $activetheme = stripslashes(stripslashes($_GET['theme']));
+	else 
 	$activetheme = stripslashes($_GET['theme']);
+	// end workaround
 	bb_update_option( 'bb_active_theme', $activetheme );
 	wp_redirect( bb_get_option( 'uri' ) . 'bb-admin/themes.php?activated' );
 	exit;
@@ -16,6 +21,7 @@
 $themes = bb_get_themes();
 $activetheme = bb_get_option('bb_active_theme');
 
+
 if ( isset($_GET['activated']) )
 	$theme_notice = bb_admin_notice( sprintf(__('Theme "%s" activated'), basename($activetheme)) );