Changing editor font size

Asked by Dani Alonso

Hi,

I'm just trying to learn vala, and I've installed Val(a)IDE.

It's really nice, but there's one thing that annoys me a lot and it's the large font size that the editor is using.

It doesn't seem to match any of the fonts configured in my desktop.

How can I reduce the font size?

Thanks in advance.

Question information

Language:
English Edit question
Status:
Solved
For:
valide Edit question
Assignee:
No assignee Edit question
Solved by:
Dani Alonso
Solved:
Last query:
Last reply:
Revision history for this message
Dani Alonso (dalonso) said :
#1

Oh, please, forget about this. I just found the preferences menu!!! Thanks