function save_settings(){
  var settings = {
    font : numeral_fonts[numeral_fonts_index].getName(),
    color_scheme : color_schemes[color_scheme_index].name,
  };
  var file = SETTING_PREFIX + ".settings.json";
  console.log(file + ": saving:" + JSON.stringify(settings));
  require("Storage").writeJSON(file,settings);
}
/**
* Called on button press to save down the last preference settings
*/
Called on button press to save down the last preference settings
Called on button press to save down the last preference settings
function save_settings(){
  var settings = {
    font : numeral_fonts[numeral_fonts_index].getName(),
    color_scheme : color_schemes[color_scheme_index].name,
  };
  var file = SETTING_PREFIX + ".settings.json";
  console.log(file + ": saving:" + JSON.stringify(settings));
  require("Storage").writeJSON(file,settings);
}
function save_settings ( ) { var settings = { font : numeral_fonts [ numeral_fonts_index ] . getName ( ) , color_scheme : color_schemes [ color_scheme_index ] . name , } ; var file = SETTING_PREFIX + ".settings.json" ; console . log ( file + ": saving:" + JSON . stringify ( settings ) ) ; require ( "Storage" ) . writeJSON ( file , settings ) ; }
Called on button press to save down the last preference settings
Called on button press to save down the last preference settings