I found that file but it's not clear how I might change the default Edit window font from Courier to something else.