/usr/share/gps/library/gnatr.xml is in gnat-gps-common 5.0-16.
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 18 19 20 21 22 23 24 25 26 27 | <?xml version="1.0" ?>
<!--This file adds a new Build->Compile current with -gnatR menu.
Selecting an opened source editor, and then clicking on this menu, will
output the layout of all the records in the current file, by recompiling
the file with -gnatR.
-->
<gnatr>
<action name="View types layout in file" output="none" category="Builder" >
<external>gnatmake -f -gnatc -P%pp -gnatR -u %F</external>
<shell>base_name "%F"</shell>
<shell>dump_file "%2" "type_layout_%1"</shell>
<shell>Editor.edit "%1"</shell>
<shell>Editor.set_title "%2" "Type layout in %3"</shell>
<shell>Editor.set_writable "%3" FALSE</shell>
<shell>delete "%4"</shell>
<filter id="Source editor" />
</action>
<Submenu>
<Title>Build</Title>
<menu action="View types layout in file">
<Title>View types layout in file</Title>
</menu>
</Submenu>
</gnatr>
|