How to change font size
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
- 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.