Fix bug in default_out.js. Resolve #3098
This commit is contained in:
parent
ce5d795654
commit
22a20c9094
2 changed files with 44 additions and 44 deletions
|
|
@ -40,7 +40,7 @@ let defaultout_plugin = (function () {
|
||||||
|
|
||||||
//
|
//
|
||||||
// By default just show an error for the Unhandled Event.
|
// By default just show an error for the Unhandled Event.
|
||||||
var onUnknownCmd = function (args, kwargs) {
|
var onUnknownCmd = function (cmdname, args, kwargs) {
|
||||||
var mwin = $("#messagewindow");
|
var mwin = $("#messagewindow");
|
||||||
mwin.append(
|
mwin.append(
|
||||||
"<div class='msg err'>"
|
"<div class='msg err'>"
|
||||||
|
|
|
||||||
|
|
@ -152,7 +152,7 @@ var plugin_handler = (function () {
|
||||||
for (let n = 0; n < ordered_plugins.length; n++) {
|
for (let n = 0; n < ordered_plugins.length; n++) {
|
||||||
let plugin = ordered_plugins[n];
|
let plugin = ordered_plugins[n];
|
||||||
if ('onUnknownCmd' in plugin) {
|
if ('onUnknownCmd' in plugin) {
|
||||||
if( plugin.onUnknownCmd(args, kwargs) ) {
|
if (plugin.onUnknownCmd(cmdname, args, kwargs)) {
|
||||||
// True -- means this plugin claims this UnknownCmd exclusively.
|
// True -- means this plugin claims this UnknownCmd exclusively.
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue