From bd9501218edda493dfbbd353eb4ce4367275f2d3 Mon Sep 17 00:00:00 2001 From: Dan Stillman Date: Thu, 22 Dec 2016 06:31:51 -0500 Subject: [PATCH] Apply UI font size change immediately And change "Changes take effect in new windows" to "Changes take effect after restart" (The note font size still requires a restart, as do the shortcut keys in the Advaned pane.) --- chrome/content/zotero/preferences/preferences_general.xul | 4 ++-- chrome/content/zotero/xpcom/zotero.js | 5 +++++ chrome/locale/en-US/zotero/preferences.dtd | 2 +- chrome/skin/default/zotero/preferences.css | 3 +++ 4 files changed, 11 insertions(+), 3 deletions(-) diff --git a/chrome/content/zotero/preferences/preferences_general.xul b/chrome/content/zotero/preferences/preferences_general.xul index 0776e9bbbb..2ef9b2814b 100644 --- a/chrome/content/zotero/preferences/preferences_general.xul +++ b/chrome/content/zotero/preferences/preferences_general.xul @@ -100,12 +100,12 @@ + +