gedit/resources/gtk/menus.ui