diff --git a/src/kiri/print.js b/src/kiri/print.js
index 6377ad05..2ab8c8a7 100644
--- a/src/kiri/print.js
+++ b/src/kiri/print.js
@@ -48,6 +48,7 @@
         this.id = id || new Date().getTime().toString(36);
         this.settings = settings;
         this.widgets = widgets;
+        debugE = settings.controller.devel ? 1 : 0;
     }
 
     PRO.addOutput = addOutput;