Подскажите пожалуйста по поводу настроек Kile: когда я выделяю курсором какое-нибудь слово в тексте, оно вдруг становится напечатано жирным шрифтом, причём во всем остальном тексте это же слово подсвечивается жёлтым и тоже печатается жирным шрифтом. Как называется эта опция и где мне её отключить? Надоела до жути.