Activate plugin registry
Change-Id: I1c9305b21081b8f754adedc49326a3cab578df29
diff --git a/dev/js/src/view.js b/dev/js/src/view.js
index fa830d6..d0a517c 100644
--- a/dev/js/src/view.js
+++ b/dev/js/src/view.js
@@ -53,8 +53,14 @@
cl.add.apply(cl, this._classes);
// TODO: The show may need to be wrapped in another DIV!
- if (this.show !== undefined)
- e.appendChild(this.show());
+ if (this.show !== undefined) {
+ let s = this.show();
+ if (s) {
+ e.appendChild(s);
+ } else {
+ return e
+ }
+ }
this._shown = true;