This file is indexed.

/usr/share/anjuta/ui/anjuta-patch.xml is in anjuta-common 2:3.10.2-0ubuntu2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
<!--*- xml -*-->
<ui>
	<menubar name="MenuMain">
		<placeholder name="PlaceHolderToolMenus">
		<menu name="MenuTools" action="ActionMenuTools">
			<placeholder name="PlaceholderPatchMenus">			
				<separator name="separator1"/>
				<menuitem name="Patch" action="ActionToolsPatch" />
			</placeholder>
		</menu>
		</placeholder>
	</menubar>
</ui>