I just installed Kubuntu 9.10 and with it comes Kile 2.1 beta 2. I find the
default font in the editor a bit small so I would like to enlarge it. However
when I try to change the settings nothing happens.
Anyone has an idea what is wrong? A bug perhaps...
Actually I think it is a problem with kate which is the editor kile uses. But
maybe some of you know something about the problem?
I have the same problem with the color settings. Do you know where is the file
with the settings for all our problems? I try the kilerc file, but doesn't
contain any setting information I want to modify.