Dopo l'aggiornamento a Kubuntu 12.10, non posso più accedere alle opzioni di configurazione in Kile da Impostazioni-> Configura kile (o qualunque sia la voce di menu per la configurazione).
Infatti, il menu "Impostazioni" ha solo cinque voci: "Definisci documento corrente come documento principale", "Controllo del sistema", "Mostra barra laterale", "Mostra barra dei messaggi" e "Barre degli strumenti visualizzate".
Ho fatto una nuova installazione di Kubuntu 12.10 su uno dei miei altri computer e lo stesso problema. Ho anche provato ad aggiungere il (non supportato) ppa: kile / stable, ma il problema persiste. Qualche idea?
Devo accedere alle impostazioni per impostare PDF Latex in modo da utilizzare la modalità di compilazione "moderna", in modo da poter utilizzare synctex.