editor: make a "cookie" preference to have the user decide if he allows for cookies

to save the last commands

vispa/extensions/codeeditor/static/js/commandline.js

@@ -76,6 +76,9 @@ var CommandLine = Emitter.extend({
 	},
 
 	saveToCookie: function(cmd) {
+		//make sure the user allows for cookies
+		if (!this.view.getPreference("cookies"))
+			return;
 		var key = this.getCookieKey();
 		this.commandCookie[key] = cmd;
 		$.cookie("commands", JSON.stringify(this.commandCookie));

vispa/extensions/codeeditor/static/js/prefs.js

@@ -87,10 +87,16 @@ var getDefaultCodeEditorPreferences = function() {
 
     //history commands
     commandHistory: {
-      description: "The total number of stored commands.",
+      description: "The total number of stored commands in a session.",
       type: "integer",
       value: 3,
       range: [1, 10, 1]
+    },
+
+    cookies: {
+      description: "Allow the web-browser to store the last executed command.",
+      type: "boolean",
+      value: true
     }
   };
 };