/gnome-extra/

• ../
• gedit-latex
• gnome-globalmenu