diff --git a/index.php b/index.php index b23b33f..11d5948 100644 --- a/index.php +++ b/index.php @@ -70,6 +70,8 @@ if (file_exists(dirname(__FILE__)."/plugins/jshint/jshint.js")) { echo $ICEcoder["indentWithTabs"] ? 'true' : 'false'; echo ';top.ICEcoder.indentSize = '; echo $ICEcoder["indentSize"]; + echo ';top.ICEcoder.demoMode = '; + echo $ICEcoder["demoMode"] ? 'true' : 'false'; ?>;ICEcoder.init()" onResize="ICEcoder.setLayout()" onKeyDown="return ICEcoder.interceptKeys('coder',event);" onKeyUp="parent.ICEcoder.resetKeys(event);">