How to change font size

Asked by Javier Rivera on 2008-06-30

Is there any way to change the menu font size?. I have read the bug report about linking it to the gnome properties, and it looks sane. But meanwhile, ¿how is the font size choosen?.

Question information

Language:
English Edit question
Status:
Solved
For:
Ubuntu Netbook Remix Launcher Edit question
Assignee:
No assignee Edit question
Solved by:
Javier Rivera
Solved:
2008-06-30
Last query:
2008-06-30
Last reply:

OK. Solved it myself with grep and source. The answer is it's hardcoded.

launcher-defines.h, line 38.

Susy (susy75) said : #2

Hi, I have the same problem. I use eeebuntu on my eeepc 900 and it is my first linux pc.
I'm NOT an expert or user of Linux platform.
Can you explain (very simple please) how to resolve this problem?
Sorry for my english, by Susy.

No. It's no simple to resolve.

In clear words, you can't change the font size unless you change the program. You will need some basic programming skills to be able to do it right now.

Bryan Larsen (bryan-larsen) said : #4

Things may have changed in the last year, but now if you want to change the font size, change the DPI settings: Preferences | Appearance | Fonts | Details | DPI. Some fonts will change immediately, the rest will change after a restart.