3 Nov
2005
3 Nov
'05
11:14 a.m.
On 11/3/05, RoSourceforge <rosae@...16...> wrote:
I tried too to modify my "preferences.xml" file we talked a few weeks ago, but I can't find any menu-font-size parameter to modify . . .
Because to the best of my knowledge it shouldn't be there. Menu font size is handled by gtkrc file.
Alexandre