From 3294a0d361fb402e490b0cf2fefb19a084431fe7 Mon Sep 17 00:00:00 2001 From: Martin Stubenschrott Date: Tue, 24 Apr 2007 18:42:17 +0000 Subject: [PATCH] hinttags fixes --- chrome/content/vimperator/settings.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/chrome/content/vimperator/settings.js b/chrome/content/vimperator/settings.js index ace2233d..3a0e89d1 100644 --- a/chrome/content/vimperator/settings.js +++ b/chrome/content/vimperator/settings.js @@ -72,7 +72,8 @@ var g_settings = [/*{{{*/ function(value) { set_pref("extendedhinttags", value); }, function() { return get_pref("extendedhinttags"); }, "string", - "//*[@onclick or @onmouseover or @onmousedown or @onmouseup or @oncommand or @class='lk' or @class='s'] | //input[@type!='hidden'] | //a | //area | //iframe | //textarea | //button | //select", + "//*[@onclick or @onmouseover or @onmousedown or @onmouseup or @oncommand or @class='lk' or @class='s'] | //input[@type!='hidden' or not(boolean(@type))] | //a | //area | //iframe | //textarea | //button | //select", + null, null ],