Category:TeX editors that use GTK