1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-21 12:18:00 +01:00

final commit before trying to integrate the search patch

This commit is contained in:
Martin Stubenschrott
2007-05-09 11:56:10 +00:00
parent ed397bd2ef
commit 0d7ff394b9
3 changed files with 12 additions and 6 deletions

View File

@@ -1,6 +1,8 @@
<pre> <pre>
2007-05-02: 2007-05-02:
* version ??? * version ???
* :version! shows firefox version page
* hovered links appear in the command line again, not statusbar
* :help now opens in the current tab even for xhtml pages like "about:" * :help now opens in the current tab even for xhtml pages like "about:"
* hints work on xhtml pages now (you need to reset the 'hinttags' and * hints work on xhtml pages now (you need to reset the 'hinttags' and
'extendedhinttags' settings with :set hinttags& and :set extendedhinttags& 'extendedhinttags' settings with :set hinttags& and :set extendedhinttags&

View File

@@ -467,10 +467,10 @@ var g_commands = [/*{{{*/
], ],
[ [
["version", "ve"], ["version", "ve"],
["ve[rsion]"], ["ve[rsion][!]"],
"Show version information", "Show version information",
null, "You can show the Firefox version page with <code class=\"command\">:version!</code>.",
function () { echo("Vimperator version: " + g_vimperator_version); }, function (args, special) { if (special) openURLs("about:"); else echo("Vimperator version: " + g_vimperator_version); },
null null
], ],
[ [
@@ -1972,10 +1972,14 @@ function set(args, special)
{ {
if (args == "") if (args == "")
{ {
var func = openURLs;
if (arguments[3] && arguments[3].inTab)
func = openURLsInNewTab;
if (special) // open firefox settings gui dialog if (special) // open firefox settings gui dialog
openURLsInNewTab("chrome://browser/content/preferences/preferences.xul", true); func.call(this, "chrome://browser/content/preferences/preferences.xul", true);
else else
openURLsInNewTab("about:config", true); func.call(this, "about:config", true);
} }
else else
{ {

View File

@@ -294,7 +294,7 @@ function onVimperatorKeypress(event)/*{{{*/
{ {
// change the event to a usable string representation // change the event to a usable string representation
var key = keyToString(event); var key = keyToString(event);
// alert(key); //alert(key);
if (key == null) if (key == null)
return false; return false;