function next_font(){
  numeral_fonts_index = numeral_fonts_index + 1;
  if(numeral_fonts_index >= numeral_fonts.length){
    numeral_fonts_index = 0;
  }
  hour_scriber.setNumeralFont(
      numeral_fonts[numeral_fonts_index]);
  force_redraw = true;
}
/**
 * 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(){
  numeral_fonts_index = numeral_fonts_index + 1;
  if(numeral_fonts_index >= numeral_fonts.length){
    numeral_fonts_index = 0;
  }
  hour_scriber.setNumeralFont(
      numeral_fonts[numeral_fonts_index]);
  force_redraw = true;
}
function next_font ( ) { numeral_fonts_index = numeral_fonts_index + 1 ; if ( numeral_fonts_index >= numeral_fonts . length ) { numeral_fonts_index = 0 ; } hour_scriber . setNumeralFont ( numeral_fonts [ numeral_fonts_index ] ) ; force_redraw = true ; }
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