Unable to change editor font

kile
2009-10-29
2012-07-03
  • Morten Olsen
    Morten Olsen
    2009-10-29

    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...

     
  • Morten Olsen
    Morten Olsen
    2009-11-03

    Anyone?

    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?

     
  • idhan
    idhan
    2009-11-09

    morientes.

    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.

    Best regards