www

commit 7cdc420304157d383972d94cfc411d9d43e7e43c
parent 1f1c6d16ff74518e770632a6681219916a2b24ae
Author: Dan Stillman <dstillman@zotero.org>
Date:   Wed, 20 Mar 2013 14:57:51 -0400

Remove obsolete code

Diffstat:
M
chrome/content/zotero/preferences/preferences_advanced.js
 | 
4
----

1 file changed, 0 insertions(+), 4 deletions(-)
diff --git a/chrome/content/zotero/preferences/preferences_advanced.js b/chrome/content/zotero/preferences/preferences_advanced.js
@@ -196,10 +196,6 @@ Zotero_Preferences.Advanced = {
 		if (event.originalTarget && event.originalTarget.tagName == 'button') {
 			return true;
 		}
-		// Fx3.6
-		else if (event.explicitOriginalTarget && event.explicitOriginalTarget.tagName == 'button') {
-			return true;
-		}
 		
 		// If changing from default to custom
 		if (!useDataDir) {