This file is indexed.

/usr/share/gimp/2.0/menus/tool-options-menu.xml is in gimp-data 2.6.12-1ubuntu1.4.

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
14
15
16
17
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE ui SYSTEM "gtkuimanager.dtd">

<ui>
  <popup action="tool-options-popup">
    <menu action="tool-options-save-menu" name="Save">
      <menuitem action="tool-options-save-new" />
      <separator />
    </menu>
    <menu action="tool-options-restore-menu" name="Restore" />
    <menu action="tool-options-rename-menu" name="Rename" />
    <menu action="tool-options-delete-menu" name="Delete" />
    <separator />
    <menuitem action="tool-options-reset" />
    <menuitem action="tool-options-reset-all" />
  </popup>
</ui>