Hi.
Kile is giving me a bit of trouble. Most of the entries in the Settings menu have vanished – most importantly, the entries for “configure Kile” and “configure shortcuts“ are gone. This was just after changing some of the fonts settings in Kile; everything worked after a fresh install of 12.10 on a completely new system, and then with no apparent reason said entries were just gone.
The only things that remain in the Settings menu are “Define current document as master document“, “System check“, “Show side bar/messages bar” and “Toolbars shown”.
I found some other threads dealing with similar problems; in most cases the solution was simply deleting ~/.kde/share/config/kilerc. I tried this, but no go. Another thread – http://ubuntuforums.org/showthread.php?t=816974 – was closer to my problem, but unfortunately the solution seems to be specific to KDE.
[Edit: The problem does not exist when using Kile in another account on the same system, but that does not solve the current problem. Reinstalling Kile was no use, either.]
I’m using Gnome Shell, but Kile is simply the best editor for me; it’s a must. Can anybody help?
Bookmarks