Browse Source

fix fullscreen ext

pull/1/head
10sr 12 years ago
parent
commit
5a9f995664
1 changed files with 10 additions and 9 deletions
  1. +10
    -9
      _keysnail.js

+ 10
- 9
_keysnail.js View File

@@ -164,12 +164,18 @@ plugins.options["twitter_client.use_jmp"] = true;
// my ext

ext.add("strong-fullscreen", function(){
var elemids = [
"navigator-toolbox",
"verticaltabs-box",
"verticaltabs-splitter"
];
BrowserFullScreen();
var isfullscreen = window.fullScreen;
var toolbox = document.getElementById("navigator-toolbox");
var tabbox = document.getElementById("verticaltabs-box");
var tabsplitter = document.getElementById("verticaltabs-splitter");
toolbox.hidden = tabbox.hidden = tabsplitter.hidden = isfullscreen;

for(var i = 0; i < elemids.length; i++){
var elem = document.getElementById(elemids[i]);
if(elem){ elem.hidden = isfullscreen; }
}
}, "go fullscreen with hiding toolbar and tabbar");

ext.add("open-url-from-clipboard", function(){
@@ -338,11 +344,6 @@ ext.add("open-hatebu-comment", function (ev, arg) {
}
}, 'hatebu');

ext.add("fullscreen-page",function (ev) {
getBrowser().selectedTab = getBrowser().addTab("http://home.tiscali.nl/annejan/swf/timeline.swf");
BrowserFullScreen();
}, "fullscreen page");

ext.add("focus-on-content", function(){
let(elem = document.commandDispatcher.focusedElement) elem && elem.blur();
gBrowser.focus();


Loading…
Cancel
Save