mike wrote:> hi -
>
>
> the font size of the UI (menus, tab text, tree nodes, etc) is very small
> on my system (debian). is there some way i can make it larger?
>
> i saw nothing in the settings or docs about this... my attempts to
> figure out FOX were unsuccessful...
>
>
> thanks
>
This is part of the FOX registry. In you home directory create a
.foxrc directory, then create the Desktop file in there and put
something like this in it
[SETTINGS]
normalfont = "[helvetica] 80 500 1 1 0 0"
the first number is the size in decipoints (or tenth of points) so 80
means 8 points in size
Hope this helps
Laurent