gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-01-06 11:04:12 +01:00
Code Issues Projects Releases Wiki Activity

:set [no]focuscontent, thanks Paul!

Browse Source
This commit is contained in:
Martin Stubenschrott
2008-06-10 18:34:36 +00:00
parent 36a1376835
commit 119de356b5
5 changed files with 39 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
content/events.js
View File

@@ -42,6 +42,14 @@ liberator.AutoCommands = function () //{{{
throw StopIteration;
}
/////////////////////////////////////////////////////////////////////////////}}}
////////////////////// OPTIONS /////////////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////{{{
liberator.options.add(["focuscontent", "fc"],
"Try to stay in normal mode after loading a web page",
"boolean", false);
/////////////////////////////////////////////////////////////////////////////}}}
////////////////////// COMMANDS ////////////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////{{{
@@ -456,12 +464,16 @@ liberator.Events = function () //{{{
if (doc == getBrowser().contentDocument)
{
// we want to stay in command mode after a page has loaded
// XXX: Does this still causes window map events which is _very_ annoying
setTimeout(function () {
var focused = document.commandDispatcher.focusedElement;
if (focused && (typeof focused.value != "undefined") && focused.value.length == 0)
focused.blur();
}, 100);
// TODO: move somehwere else, as focusing can already happen earlier than on "load"
if (liberator.options["focuscontent"])
{
liberator.log("focuscontent");
setTimeout(function () {
var focused = document.commandDispatcher.focusedElement;
if (focused && (typeof focused.value != "undefined") && focused.value.length == 0)
focused.blur();
}, 100);
}
}
}
}
@@ -478,7 +490,7 @@ liberator.Events = function () //{{{
if (liberator.buffer.loaded == 1)
return true;
var ms = 15000; // maximum time to wait - TODO: add option
var ms = 25000; // maximum time to wait - TODO: add option
var then = new Date().getTime();
for (var now = then; now - then < ms; now = new Date().getTime())
{
@@ -931,6 +943,8 @@ liberator.Events = function () //{{{
if (liberator.mode == liberator.modes.COMMAND_LINE)
return;
// liberator.log("onFocusChange: " + liberator.buffer.loaded);
var win = window.document.commandDispatcher.focusedWindow;
var elem = window.document.commandDispatcher.focusedElement;
if (elem && elem.readOnly)