gedit external-tools menu entries