suzanne.soy/zotero
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Bug in pref pane position change warning

Browse Source
This commit is contained in:
Dan Stillman 2006-10-03 04:18:53 +00:00
parent c97b4b0bc0
commit 3a107a2c7c
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
chrome/content/zotero/preferences.js
View File

@ -29,10 +29,10 @@ var zoteroPaneOnTopInitial;
function init() function init()
{ {
autoUpdateBox = document.getElementById('autoUpdateBox'); autoUpdateBox = document.getElementById('autoUpdateBox');
autoUpdateBox.checked = zoteroPaneOnTopInitial = Zotero.Prefs.get('automaticScraperUpdates'); autoUpdateBox.checked = Zotero.Prefs.get('automaticScraperUpdates');
positionMenu = document.getElementById('positionMenu'); positionMenu = document.getElementById('positionMenu');
positionMenu.selectedIndex = Zotero.Prefs.get('zoteroPaneOnTop') ? 0 : 1; positionMenu.selectedIndex = zoteroPaneOnTopInitial = Zotero.Prefs.get('zoteroPaneOnTop') ? 0 : 1;
parseEndnoteBox = document.getElementById('parseEndnoteBox'); parseEndnoteBox = document.getElementById('parseEndnoteBox');
parseEndnoteBox.checked = Zotero.Prefs.get('parseEndNoteMIMETypes'); parseEndnoteBox.checked = Zotero.Prefs.get('parseEndNoteMIMETypes');
@ -89,7 +89,7 @@ function onOpenURLCustomized()
function onPositionChange() function onPositionChange()
{ {
var statusLine = document.getElementById('statusLine'); var statusLine = document.getElementById('statusLine');
if ((positionMenu.selectedIndex == 0) != zoteroPaneOnTopInitial) if (positionMenu.selectedIndex != zoteroPaneOnTopInitial)
{ {
statusLine.value = Zotero.getString('zotero.preferences.status.positionChange'); statusLine.value = Zotero.getString('zotero.preferences.status.positionChange');
} }