A LaTeX source editor for KDE