From ba875313d651733c8fd55cda4401f33a2eb677ed Mon Sep 17 00:00:00 2001 From: Kris Maglione Date: Wed, 29 Oct 2008 19:21:58 +0000 Subject: [PATCH] Dont die at startup without ZoomManager --- content/buffer.js | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/content/buffer.js b/content/buffer.js index e1c95603..0b6cc20c 100644 --- a/content/buffer.js +++ b/content/buffer.js @@ -279,8 +279,11 @@ function Buffer() //{{{ let error = styles.addSheet("font-size", "chrome://liberator/content/buffer.xhtml", "body { font-size: " + fontSize + "; }", true); - const ZOOM_MIN = Math.round(ZoomManager.MIN * 100); - const ZOOM_MAX = Math.round(ZoomManager.MAX * 100); + if ("ZoomManager" in window) + { + const ZOOM_MIN = Math.round(ZoomManager.MIN * 100); + const ZOOM_MAX = Math.round(ZoomManager.MAX * 100); + } function setZoom(value, fullZoom) {