modules/user_variable.js

   1 require("utils.js");
   2
   3 var user_variables = new string_hashmap();
   4
   5 function define_user_variable(name, default_value, doc) {
   6     conkeror[name] = default_value;
   7     user_variables.put(name, {
   8         default_value: default_value,
   9         doc: doc,
  10         shortdoc: get_shortdoc_string(doc),
  11         source_code_reference: get_caller_source_code_reference() });
  12 }