- venkman only -

bump version number again.
consider commands invoked via a hotkey as "interactive"

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]);

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  = "";