From f798b979efe51bd57476296cf2fd8b2cbc50159b Mon Sep 17 00:00:00 2001 From: Doug Kearns Date: Thu, 25 Jun 2009 22:50:32 +1000 Subject: [PATCH] Move 'fullscreen' definition to the liberator module. --- common/content/buffer.js | 9 --------- common/content/liberator.js | 8 ++++++++ 2 files changed, 8 insertions(+), 9 deletions(-) diff --git a/common/content/buffer.js b/common/content/buffer.js index 835d9252..65603143 100644 --- a/common/content/buffer.js +++ b/common/content/buffer.js @@ -147,15 +147,6 @@ function Buffer() //{{{ ////////////////////// OPTIONS ///////////////////////////////////////////////// /////////////////////////////////////////////////////////////////////////////{{{ - // FIXME: Most certainly belongs elsewhere. - options.add(["fullscreen", "fs"], - "Show the current window fullscreen", - "boolean", false, - { - setter: function (value) window.fullScreen = value, - getter: function () window.fullScreen - }); - options.add(["nextpattern"], // \u00BB is ยป (>> in a single char) "Patterns to use when guessing the 'next' page in a document sequence", "stringlist", "\\bnext\\b,^>$,^(>>|\u00BB)$,^(>|\u00BB),(>|\u00BB)$,\\bmore\\b"); diff --git a/common/content/liberator.js b/common/content/liberator.js index 22001758..f5825bd8 100644 --- a/common/content/liberator.js +++ b/common/content/liberator.js @@ -212,6 +212,14 @@ const liberator = (function () //{{{ } }; + options.add(["fullscreen", "fs"], + "Show the current window fullscreen", + "boolean", false, + { + setter: function (value) window.fullScreen = value, + getter: function () window.fullScreen + }); + options.add(["guioptions", "go"], "Show or hide certain GUI elements like the menu or toolbar", "charlist", config.defaults.guioptions || "",