27 Giugno 2013 alle 8:21
#87242
::
Vedi https://bugs.launchpad.net/ubuntu/+source/kile/+bug/997004 lì è suggerito anche un workaround. Comunque, se ti piace Texmaker ma hai avuto problemi (che problemi?) puoi provare TeXstudio, quest’ultimo è un fork di Texmaker (creato dall’autore di Kile, sono tutti imparentati questi programmi)