Extend regexp that recognises ignorable non-widget elements.

Previously, the "Container" part was case-sensitive.
Fixes an unfiled bug that Wolfram emailed me about.

diff --git a/src/mkws-widget.js b/src/mkws-widget.js
index fd51a12..d254019 100644 (file)
--- a/src/mkws-widget.js
+++ b/src/mkws-widget.js
@@ -182,7 +182,7 @@ mkws.makeWidget = function($, team, type, node) {
   if (fn) {
     fn.call(that);
     this.info("made " + type + " widget(node=" + node + ")");
-  } else if (type.match(/-Container-(narrow|wide)$/)) {
+  } else if (type.match(/-[Cc]ontainer-(narrow|wide)$/)) {
     // Not really a widget: no need to log its lack of promotion
   } else {
     this.info("made UNPROMOTED widget(type=" + type + ", node=" + node + ")");