js/jq_readline.js

   1 var max_history_length = 1000;
   2
   3 function jq_load_history(jq) {
   4     if (localStorage['mal_history']) {
   5         var lines = JSON.parse(localStorage['mal_history']);
   6         if (lines.length > max_history_length) {
   7             lines = lines.slice(lines.length-max_history_length);
   8         }
   9         jq.SetHistory(lines);
  10     }
  11 }
  12
  13 function jq_save_history(jq) {
  14     var lines = jq.GetHistory();
  15     localStorage['mal_history'] = JSON.stringify(lines);
  16 }
  17
  18
  19 var readline = {
  20     'readline': function(prompt_str) {
  21             return prompt(prompt_str);
  22         }};
  23