Changes in raw mode interface

[helm.git] / helm / on-line / javascript / defaults.js

diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
index f6abf7f875984de5bdf6f08e8592415860e2b629..54d51002ff60b7cfccdb7f27e5eff0fb96270dd9 100644 (file)
--- a/helm/on-line/javascript/defaults.js
+++ b/helm/on-line/javascript/defaults.js
@@ -11,7 +11,7 @@ function getDefaultParam(name)
   case "theoryuri":
     return "theory:/";
   case "mode":
-    return "processed,cic,html,yes,no";
+    return "processed,cic,html,yes,no,normal,no";
   }
   
   return "???";