Arch Linux

Maximalminimalist

Member

Registered: 2009-09-20

Posts: 112

change input font of gummi (LaTeX-Editor)

Hello!

I'm looking for someone who knows well about gummi. I really like this editor but unfortunately I 'only' have a 19'' monitor 1280x1024 so I have no space to waste... I don't really like the default font of gummi. I don't know which one it is but I'd like to change to a smaller one. (Maybe also a different one.)
Don't misunderstand me. I don't mean the output font but the input font.

I know desigle would be an option too but it doesn't work...

Can anybody help me?

Thanks in advance.