private void updateFont(String family,int style,int size){
  console.setFont(new Font(family,style,size));
}

private void updateFont ( String family , int style , int size ) { console . setFont ( new Font ( family , style , size ) ) ; }
update the system console font with the specified parameters
