added guifont=Menlo