From ca8b315145c6d927db7df0d87ea5c4ec53ba3ef8 Mon Sep 17 00:00:00 2001
From: "rginda%netscape.com" <rginda%netscape.com>
Date: Wed, 7 Aug 2002 02:47:26 +0000
Subject: [PATCH] - venkman only - bump version number again. consider commands
 invoked via a hotkey as "interactive"

---
 extensions/venkman/resources/content/command-manager.js | 3 ++-
 extensions/venkman/resources/content/venkman-static.js  | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/extensions/venkman/resources/content/command-manager.js b/extensions/venkman/resources/content/command-manager.js
index 49ca4faecf93..8cda3c71d694 100644
--- a/extensions/venkman/resources/content/command-manager.js
+++ b/extensions/venkman/resources/content/command-manager.js
@@ -249,7 +249,8 @@ function cmgr_instkey (parentElem, command)
     
     var key = document.createElement ("key");
     key.setAttribute ("id", "key:" + command.name);
-    key.setAttribute ("oncommand", "dispatch('" + command.name + "');");
+    key.setAttribute ("oncommand", "dispatch('" + command.name +
+                      "', {isInteractive: true});");
     key.setAttribute ("modifiers", ary[1]);
     if (ary[2].indexOf("VK_") == 0)
         key.setAttribute ("keycode", ary[2]);
diff --git a/extensions/venkman/resources/content/venkman-static.js b/extensions/venkman/resources/content/venkman-static.js
index 0778e3d29bcc..7b11167cb106 100644
--- a/extensions/venkman/resources/content/venkman-static.js
+++ b/extensions/venkman/resources/content/venkman-static.js
@@ -33,7 +33,7 @@
  *
  */
 
-const __vnk_version        = "0.9.34";
+const __vnk_version        = "0.9.34+";
 const __vnk_requiredLocale = "0.9.x";
 var   __vnk_versionSuffix  = "";