This file is indexed.

/usr/share/doc/gnat-gps/html/Adding-new-menus.html is in gnat-gps-doc 5.0-6.

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
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
<html lang="en">
<head>
<title>Adding new menus - Using the GNAT Programming Studio</title>
<meta http-equiv="Content-Type" content="text/html">
<meta name="description" content="Using the GNAT Programming Studio">
<meta name="generator" content="makeinfo 4.13">
<link title="Top" rel="start" href="index.html#Top">
<link rel="up" href="Customizing-through-XML-and-Python-files.html#Customizing-through-XML-and-Python-files" title="Customizing through XML and Python files">
<link rel="prev" href="Filtering-actions.html#Filtering-actions" title="Filtering actions">
<link rel="next" href="Adding-contextual-menus.html#Adding-contextual-menus" title="Adding contextual menus">
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
<!--
Copyright (C) 2002-2010 AdaCore.

This document is free; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3 of the License, or
(at your option) any later version.

This document is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License along
with this program; if not, see `http://www.gnu.org/licenses/'.-->
<meta http-equiv="Content-Style-Type" content="text/css">
<style type="text/css"><!--
  pre.display { font-family:inherit }
  pre.format  { font-family:inherit }
  pre.smalldisplay { font-family:inherit; font-size:smaller }
  pre.smallformat  { font-family:inherit; font-size:smaller }
  pre.smallexample { font-size:smaller }
  pre.smalllisp    { font-size:smaller }
  span.sc    { font-variant:small-caps }
  span.roman { font-family:serif; font-weight:normal; } 
  span.sansserif { font-family:sans-serif; font-weight:normal; } 
pre.smallexample {background-color:rgb(240,240,240);
                     font-family: courier new,courier,fixed;
                     font-size: 14px;
                     margin: 0px 40px 0px 40px;
                     border-width: 1px 2px 2px 1px;
                     border-top-style: dotted;
                     border-left-style: dotted;
                     border-right-style: solid;
                     border-bottom-style: solid;
                     border-color: black;}
   code             {color:black;
                     font-family: courier new,courier,fixed;
                     font-size: 14px;}
   body             {font-family: arial,helvetica,sans-serif;
                     font-size: 16px;
                     max-width: 800px;
                     text-align: justify}
   samp             {font-family: courier new,courier,fixed;
                     font-size: 14px}
                    
--></style>
</head>
<body>
<div class="node">
<a name="Adding-new-menus"></a>
<p>
Next:&nbsp;<a rel="next" accesskey="n" href="Adding-contextual-menus.html#Adding-contextual-menus">Adding contextual menus</a>,
Previous:&nbsp;<a rel="previous" accesskey="p" href="Filtering-actions.html#Filtering-actions">Filtering actions</a>,
Up:&nbsp;<a rel="up" accesskey="u" href="Customizing-through-XML-and-Python-files.html#Customizing-through-XML-and-Python-files">Customizing through XML and Python files</a>
<hr>
</div>

<h4 class="subsection">16.5.5 Adding new menus</h4>

<p><a name="index-menus-802"></a><a name="index-g_t_003cmenu_003e-803"></a><a name="index-g_t_003csubmenu_003e-804"></a><a name="index-g_t_003ctitle_003e-805"></a><!--  -->

<p class="noindent">These commands can be associated with menus, tool bar buttons and keys. All
of these use similar syntax.

   <p>Binding a menu to an action is done through the <code>&lt;menu&gt;</code> and
<code>&lt;submenu&gt;</code> tags.

   <p>The <code>&lt;menu&gt;</code> tag takes the following attributes:

     <dl>
<dt><code>action  (mandatory)</code><dd>This attribute specifies which action to execute
when the menu is selected by the user. If no action by this name was defined,
no new menu is added. The action name can start with a '/', in which case
it represents the absolute path to a menu to execute instead.

     <p>This attribute can be omitted only when no title is specified for the menu
to make it a separator (see below).

     <p>If a filter is associated with the action through the <code>&lt;filter&gt;</code> tag,
then the menu will be greyed out when the filter doesn't match. As a
result, users will not be able to click on it.

     <br><dt><code>before  (optional)</code><dd>It specifies the name of another menu item before
which the new menu should be inserted. The reference menu must have been
created before, otherwise the new menu is inserted at the end. This attribute
can be used to control where precisely the new menu should be made visible.

     <br><dt><code>after   (optional)</code><dd>This attribute is similar to <code>before</code>, but has a lower priority. If it
is specified, and there is no <code>before</code> attribute, it specifies a reference
menu after which the new menu should be inserted.

   </dl>

   <p>It should also have one XML child called <code>&lt;title&gt;</code> which specifies the
label of the menu. This is really a path to a menu, and thus you can define
submenus by specifying something like "/Parent1/Parent2/Menu" in the title
to automatically create the parent menus if they don't exist yet.

   <p>You can define the accelerator keys for your menus, using underscores
in the titles. Thus, if you want an accelerator on the first letter in
a menu named <code>File</code>, set its title as <code>_File</code>.

   <p>The tag <code>&lt;submenu&gt;</code> accepts the following attributes:

     <dl>
<dt><code>before  (optional)</code><dd>See description above, same as for <code>&lt;menu&gt;</code>

     <br><dt><code>after   (optional)</code><dd>See description above, same as for <code>&lt;menu&gt;</code>
</dl>

   <p>It accepts several children, among <code>&lt;title&gt;</code> (which must be specified
at most once), <code>&lt;submenu&gt;</code> (for nested menus), and <code>&lt;menu&gt;</code>.

   <p>Since <code>&lt;submenu&gt;</code> doesn't accept the <code>action</code> attribute, you should
use <code>&lt;menu&gt;</code> for clickable items that should result in an action, and
<code>&lt;submenu&gt;</code> if you want to define several menus with the same path.

   <p>You can specify which menu the new item is added to in one of two ways:

     <ul>
<li>Specify a path in the <code>title</code> attribute of <code>&lt;menu&gt;</code>
<li>Put the <code>&lt;menu&gt;</code> as a child of a <code>&lt;submenu&gt;</code> node
  This requires slightly more typing, but it allows you to specify the exact
  location, at each level, of the parent menu (before or after an existing
  menu). 
</ul>

   <p>For example, this adds an item named <code>mymenu</code> to the standard
<code>Edit</code> menu.

<pre class="smallexample">     &lt;?xml version="1.0" ?&gt;
     &lt;test&gt;
       &lt;submenu&gt;
         &lt;title&gt;Edit&lt;/title&gt;
         &lt;menu action="current file uses"&gt;
            &lt;title&gt;mymenu&lt;/title&gt;
         &lt;/menu&gt;
       &lt;/submenu&gt;
     &lt;/test&gt;
</pre>
   <p>The following has exactly the same effect:

<pre class="smallexample">     &lt;?xml version="1.0" ?&gt;
     &lt;test&gt;
       &lt;menu action="current file uses"&gt;
         &lt;title&gt;Edit/mymenu&lt;/title&gt;
       &lt;/menu&gt;
     &lt;/test&gt;
</pre>
   <p>The following adds a new item "stats" to the "unit testing" submenu
in "my_tools".

<pre class="smallexample">     &lt;?xml version="1.0" ?&gt;
     &lt;test&gt;
       &lt;menu action="execute my stats"&gt;
          &lt;title&gt;/My_Tools/unit testing/stats&lt;/title&gt;
       &lt;/menu&gt;
     &lt;/test&gt;
</pre>
   <p>The previous syntax is shorter, but less flexible than the following,
where we also force the My_Tools menu, if it doesn't exist yet, to
appear after the File menu. This is not doable by using only <code>&lt;menu&gt;</code>
tags. We also insert several items in that new menu

<pre class="smallexample">     &lt;?xml version="1.0" ?&gt;
     &lt;test&gt;
       &lt;submenu after="File"&gt;
         &lt;title&gt;My_Tools&lt;/title&gt;
         &lt;menu action="execute my stats"&gt;
            &lt;title&gt;unit testing/stats&lt;/title&gt;
         &lt;/menu&gt;
         &lt;menu action="execute my stats2"&gt;
            &lt;title&gt;unit testing/stats2&lt;/title&gt;
         &lt;/menu&gt;
       &lt;/submenu&gt;
     &lt;/test&gt;
</pre>
   <p><a name="index-menu-separator-806"></a>Adding an item with an empty title or no title at all inserts a
menu separator. For instance, the following example will insert a separator
followed by a File/Custom menu:

<pre class="smallexample">     &lt;?xml version="1.0" ?&gt;
     &lt;menus&gt;
       &lt;action name="execute my stats" /&gt;
       &lt;submenu&gt;
          &lt;title&gt;File&lt;/title&gt;
          &lt;menu&gt;&lt;title/&gt;&lt;/menu&gt;
          &lt;menu action="execute my stats"&gt;
              &lt;title&gt;Custom&lt;/title&gt;
          &lt;/menu&gt;
       &lt;/submenu&gt;
     &lt;/menus&gt;
</pre>
   <!--  -->
   </body></html>