function next_font() {
  var curr_font = numeral_fonts_index;
  numeral_fonts_index = numeral_fonts_index + 1;
  if (numeral_fonts_index >= numeral_fonts.length) {
    numeral_fonts_index = 0;
  }

  if (curr_font != numeral_fonts_index) {
    console.log("numeral font changed")
    for (var i = 0; i < hour_scribers.length; i++) {
      hour_scribers[i].setNumeralFont(
          numeral_fonts[numeral_fonts_index]);
    }
    force_redraw = true;
    return true;
  } else {
    return false;
  }
}
/**
* Called from button 1 to change the numerals that are
* displayed on the clock face
*/
Called from button 1 to change the numerals that are
displayed on the clock face
Called from button 1 to change the numerals that are displayed on the clock face
function next_font() {
  var curr_font = numeral_fonts_index;
  numeral_fonts_index = numeral_fonts_index + 1;
  if (numeral_fonts_index >= numeral_fonts.length) {
    numeral_fonts_index = 0;
  }
  if (curr_font != numeral_fonts_index) {
    console.log("numeral font changed")
    for (var i = 0; i < hour_scribers.length; i++) {
      hour_scribers[i].setNumeralFont(
          numeral_fonts[numeral_fonts_index]);
    }
    force_redraw = true;
    return true;
  } else {
    return false;
  }
}
function next_font ( ) { var curr_font = numeral_fonts_index ; numeral_fonts_index = numeral_fonts_index + 1 ; if ( numeral_fonts_index >= numeral_fonts . length ) { numeral_fonts_index = 0 ; } if ( curr_font != numeral_fonts_index ) { console . log ( "numeral font changed" ) for ( var i = 0 ; i < hour_scribers . length ; i ++ ) { hour_scribers [ i ] . setNumeralFont ( numeral_fonts [ numeral_fonts_index ] ) ; } force_redraw = true ; return true ; } else { return false ; } }
Called from button 1 to change the numerals that are
displayed on the clock face
Called from button 1 to change the numerals that are displayed on the clock face