Хорошая програма, однако периодически kile перестает реагировать на клавиатуру и мышку -- просто типа вешается. В то же время системное меню и тайтл-бар и рамки окна работают полностью и без тормозов -- все ресайзится, складывается и восстанавливается. И что делать?