From 53bd9afeacdb4ef9017449ecab05ee4af7dac38b Mon Sep 17 00:00:00 2001 From: Dan Stillman Date: Sun, 9 Aug 2009 22:40:42 +0000 Subject: [PATCH] Remove option to display Zotero pane above browser content There are times when I am right, when I demonstrate profound foresight sometimes borne out only years down the line. Then there are the other times. --- chrome/content/zotero/overlay.js | 32 -------------------------- chrome/skin/default/zotero/overlay.css | 5 ---- defaults/preferences/zotero.js | 1 - 3 files changed, 38 deletions(-) diff --git a/chrome/content/zotero/overlay.js b/chrome/content/zotero/overlay.js index 5834998361..3dbd61a4a8 100644 --- a/chrome/content/zotero/overlay.js +++ b/chrome/content/zotero/overlay.js @@ -106,38 +106,6 @@ var ZoteroPane = new function() } _loaded = true; - if(Zotero.Prefs.get("zoteroPaneOnTop")) - { - var oldPane = document.getElementById('zotero-pane'); - var oldSplitter = document.getElementById('zotero-splitter'); - var appContent = document.getElementById('appcontent'); - - var newPane = document.createElement('hbox'); - newPane.setAttribute('id','zotero-pane'); - newPane.setAttribute('persist','savedHeight'); - newPane.setAttribute('hidden', true); - newPane.setAttribute('onkeydown', 'ZoteroPane.handleKeyDown(event, this.id)'); - newPane.setAttribute('onkeyup', 'ZoteroPane.handleKeyUp(event, this.id)'); - newPane.setAttribute('chromedir', '&locale.dir;'); - - newPane.height = oldPane.height; - while(oldPane.hasChildNodes()) - newPane.appendChild(oldPane.firstChild); - appContent.removeChild(oldPane); - appContent.insertBefore(newPane, document.getElementById('content')); - - var newSplitter = document.createElement('splitter'); - newSplitter.setAttribute('id','zotero-splitter'); - newSplitter.setAttribute('hidden', true); - newSplitter.setAttribute('resizebefore','closest'); - newSplitter.setAttribute('resizeafter','closest'); - newSplitter.setAttribute('onmouseup', 'ZoteroPane.updateTagSelectorSize()'); - appContent.removeChild(oldSplitter); - appContent.insertBefore(newSplitter, document.getElementById('content')); - - document.getElementById('zotero-tb-fullscreen').setAttribute('zoterotop','true'); - } - Zotero.setFontSize(document.getElementById('zotero-pane')) if (Zotero.isMac) { diff --git a/chrome/skin/default/zotero/overlay.css b/chrome/skin/default/zotero/overlay.css index bd6059e2ee..8ba3423392 100644 --- a/chrome/skin/default/zotero/overlay.css +++ b/chrome/skin/default/zotero/overlay.css @@ -261,11 +261,6 @@ window[active="true"] #zotero-pane-stack[fullscreenmode="true"][platform="mac"] list-style-image: url('chrome://zotero/skin/toolbar-fullscreen-bottom.png'); } -#zotero-tb-fullscreen[zoterotop="true"] -{ - list-style-image: url('chrome://zotero/skin/toolbar-fullscreen-top.png'); -} - #zotero-pane-stack[fullscreenmode="true"] #zotero-tb-fullscreen { list-style-image: url('chrome://zotero/skin/toolbar-fullscreen-top.png'); diff --git a/defaults/preferences/zotero.js b/defaults/preferences/zotero.js index ac03a6f189..d07101fc21 100644 --- a/defaults/preferences/zotero.js +++ b/defaults/preferences/zotero.js @@ -16,7 +16,6 @@ pref("extensions.zotero.debug.time", false); pref("extensions.zotero.automaticScraperUpdates",true); pref("extensions.zotero.zoteroDotOrgVersionHeader", true); pref("extensions.zotero.cacheTranslatorData",true); -pref("extensions.zotero.zoteroPaneOnTop",false); pref("extensions.zotero.statusBarIcon", 2); pref("extensions.zotero.browserContentContextMenu", true); pref("extensions.zotero.openURL.resolver","http://worldcatlibraries.org/registry/gateway");