From 1e8b74d9b987defdf073899c153cd3a038ee010f Mon Sep 17 00:00:00 2001 From: Dan Stillman Date: Tue, 5 Apr 2016 15:02:06 -0400 Subject: [PATCH] Tweak item pane padding The item pane scrollbox was actually padded on the outside. This removes that padding, which slightly increases the viewable content in the pane. --- chrome/content/zotero/itemPane.js | 9 ++++++--- chrome/content/zotero/itemPane.xul | 2 +- chrome/skin/default/zotero/itemPane.css | 10 +++++++--- 3 files changed, 14 insertions(+), 7 deletions(-) diff --git a/chrome/content/zotero/itemPane.js b/chrome/content/zotero/itemPane.js index c055081a65..bb284efcb5 100644 --- a/chrome/content/zotero/itemPane.js +++ b/chrome/content/zotero/itemPane.js @@ -87,12 +87,15 @@ var ZoteroItemPane = new function() { _lastItem = item; - // Hide for feed items - document.getElementById('zotero-editpane-tabs').setAttribute('hidden', item.isFeedItem); - document.getElementById('zotero-view-item').classList.add('no-tabs'); + var viewBox = document.getElementById('zotero-view-item'); + viewBox.classList.remove('no-tabs'); if (index == 0) { + document.getElementById('zotero-editpane-tabs').setAttribute('hidden', item.isFeedItem); + if (item.isFeedItem) { + viewBox.classList.add('no-tabs'); + let lastTranslationTarget = Zotero.Prefs.get('feeds.lastTranslationTarget'); if (lastTranslationTarget) { let id = parseInt(lastTranslationTarget.substr(1)); diff --git a/chrome/content/zotero/itemPane.xul b/chrome/content/zotero/itemPane.xul index cd9fb9f1e8..c3a64a8833 100644 --- a/chrome/content/zotero/itemPane.xul +++ b/chrome/content/zotero/itemPane.xul @@ -75,7 +75,7 @@ - +