From b45bb2ea17b558c1e90db6fce6dcc29b6df61d49 Mon Sep 17 00:00:00 2001
From: Mike Jolley <mike.jolley@me.com>
Date: Fri, 14 Sep 2012 16:33:07 +0100
Subject: [PATCH] Fix widget conflict

---
 widgets/widget-product_categories.php | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/widgets/widget-product_categories.php b/widgets/widget-product_categories.php
index a60b50b5220..d78beccbb87 100644
--- a/widgets/widget-product_categories.php
+++ b/widgets/widget-product_categories.php
@@ -81,13 +81,13 @@ class WooCommerce_Widget_Product_Categories extends WP_Widget {
 			?>
 			<script type='text/javascript'>
 			/* <![CDATA[ */
-				var dropdown = document.getElementById("dropdown_product_cat");
-				function onCatChange() {
-					if ( dropdown.options[dropdown.selectedIndex].value !=='' ) {
-						location.href = "<?php echo home_url(); ?>/?product_cat="+dropdown.options[dropdown.selectedIndex].value;
+				var product_cat_dropdown = document.getElementById("dropdown_product_cat");
+				function onProductCatChange() {
+					if ( product_cat_dropdown.options[product_cat_dropdown.selectedIndex].value !=='' ) {
+						location.href = "<?php echo home_url(); ?>/?product_cat="+product_cat_dropdown.options[product_cat_dropdown.selectedIndex].value;
 					}
 				}
-				dropdown.onchange = onCatChange;
+				product_cat_dropdown.onchange = onProductCatChange;
 			/* ]]> */
 			</script>
 			<?php