Add preferences dialog and allow change of fixed-width font