This file is indexed.

/usr/share/doc/gnat-gps/html/The-Tools-Menu.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
<html lang="en">
<head>
<title>The Tools Menu - 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="Tools.html#Tools" title="Tools">
<link rel="next" href="Coding-Standard.html#Coding-Standard" title="Coding Standard">
<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="The-Tools-Menu"></a>
<p>
Next:&nbsp;<a rel="next" accesskey="n" href="Coding-Standard.html#Coding-Standard">Coding Standard</a>,
Up:&nbsp;<a rel="up" accesskey="u" href="Tools.html#Tools">Tools</a>
<hr>
</div>

<h3 class="section">13.1 The Tools Menu</h3>

<p class="noindent">The <code>Tools</code> menu gives access to additional tools. Some items are
currently disabled, meaning that these are planned tools not yet available.

   <p>The list of active items includes:

     <dl>
<dt><b>Views</b><dd>
          <dl>
<dt><b>Bookmarks</b><dd><a name="index-bookmark-603"></a>See <a href="Bookmarks.html#Bookmarks">Bookmarks</a>.

          <br><dt><b>Call Trees</b><dd>Open a tree view of function callers and callees. See also <a href="Call-Graph.html#Call-Graph">Call Graph</a>.

          <br><dt><b>Clipboard</b><dd>See <a href="The-Clipboard-View.html#The-Clipboard-View">The Clipboard View</a>.

          <br><dt><b>Coverage Report</b><dd>See <a href="Coverage-Report.html#Coverage-Report">Coverage Report</a>.

          <br><dt><b>Entities</b><dd>Open the Entity View in the bottom area
See <a href="The-Entity-View.html#The-Entity-View">The Entity View</a>.

          <br><dt><b>Files</b><dd>Open a file system explorer on the left area. 
See <a href="The-File-View.html#The-File-View">The File View</a>.

          <br><dt><b>File Switches</b><dd>See <a href="File-Switches.html#File-Switches">File Switches</a>.

          <br><dt><b>Outline</b><dd>Open a view of the current source editor. 
See <a href="The-Outline-View.html#The-Outline-View">The Outline View</a>.

          <br><dt><b>Project</b><dd>See <a href="The-Project-View.html#The-Project-View">The Project View</a>.

          <br><dt><b>Remote</b><dd>See <a href="Setup-a-remote-project.html#Setup-a-remote-project">Setup a remote project</a>.

          <br><dt><b>Scenario</b><dd>See <a href="Scenarios-and-Configuration-Variables.html#Scenarios-and-Configuration-Variables">Scenarios and Configuration Variables</a>.

          <br><dt><b>Tasks</b><dd>See <a href="The-Task-Manager.html#The-Task-Manager">The Task Manager</a>.

          <br><dt><b>VCS Activities</b><dd>See <a href="The-VCS-Activities.html#The-VCS-Activities">The VCS Activities</a>.

          <br><dt><b>VCS Explorer</b><dd>See <a href="The-VCS-Explorer.html#The-VCS-Explorer">The VCS Explorer</a>.

          <br><dt><b>Windows</b><dd>Open a view containing all currently opened files. 
See <a href="The-Window-View.html#The-Window-View">The Window View</a>.

     </dl>

     <br><dt><b>Browsers</b><dd>
          <dl>
<dt><b>Call Graph</b><dd>See <a href="Call-Graph.html#Call-Graph">Call Graph</a>.

          <br><dt><b>Dependency</b><dd>See <a href="Dependency-Browser.html#Dependency-Browser">Dependency Browser</a>.

          <br><dt><b>Entity</b><dd>See <a href="Entity-Browser.html#Entity-Browser">Entity Browser</a>.

     </dl>

     <br><dt><b>Coding Standard</b><dd><a name="index-Coding-Standard-604"></a>See <a href="Coding-Standard.html#Coding-Standard">Coding Standard</a>.

     <br><dt><b>Compare</b><dd><a name="index-visual-diff-605"></a>See <a href="Visual-Comparison.html#Visual-Comparison">Visual Comparison</a>.

     <br><dt><b>Consoles</b><dd>
          <dl>
<dt><b>GPS Shell</b><dd><a name="index-shell-606"></a>Open a shell console at the bottom area of GPS. Note that this not an OS
shell console, but a GPS shell console, where you can type GPS specific
commands such as <code>help</code>.

          <p>See <a href="The-Shell-and-Python-Windows.html#The-Shell-and-Python-Windows">The Shell and Python Windows</a>.

          <br><dt><b>Python</b><dd><a name="index-python-607"></a>Open a python console to access the python interpreter. 
See <a href="The-Shell-and-Python-Windows.html#The-Shell-and-Python-Windows">The Shell and Python Windows</a>.

          <br><dt><b>OS Shell</b><dd><a name="index-shell-608"></a>Open an OS (Windows or Unix) console, using the environment variables
<code>SHELL</code> and <code>COMSPEC</code> to determine which shell to use. 
See <a href="The-Shell-and-Python-Windows.html#The-Shell-and-Python-Windows">The Shell and Python Windows</a>.

          <p>On Unix, this terminal behaves a lot like a standard Unix terminal. In
particular, you need to make sure that your shell will output all the
information. In some cases, the configuration of your shell (<samp><span class="file">.bashrc</span></samp>
if you are running bash for instance) will deactivate the echo of what you
type to the terminal. Since GPS is not outputing anything on its own, just
showing what the shell is outputing, you need to somehow ensure that your
shell always echos what you type. This is done by running the command

          <pre class="smallexample">               stty echo
</pre>
          <p>in such cases. In general, this can be safely done in your <samp><span class="file">.bashrc</span></samp>

          <br><dt><b>Auxiliary Builds</b><dd>Open the console containing auxiliary builds output. For now, only
cross-reference automated generation output is redirected to this console. 
See <a href="Working-with-two-compilers.html#Working-with-two-compilers">Working with two compilers</a>. 
</dl>

     <br><dt><b>Coverage</b><dd><a name="index-code-coverage-609"></a>See <a href="Code-Coverage.html#Code-Coverage">Code Coverage</a>.

     <br><dt><b>Documentation</b><dd><a name="index-documentation-610"></a>See <a href="Documentation-Generation.html#Documentation-Generation">Documentation Generation</a>.

     <br><dt><b>Macro</b><dd><a name="index-macros-611"></a>See <a href="Recording-and-replaying-macros.html#Recording-and-replaying-macros">Recording and replaying macros</a>.

     <br><dt><b>Metrics</b><dd><a name="index-metrics-612"></a>See <a href="Metrics.html#Metrics">Metrics</a>.

     <br><dt><b>Plug-ins</b><dd><a name="index-plug_002dins-613"></a>See <a href="The-Plug_002dins-Editor.html#The-Plug_002dins-Editor">The Plug-ins Editor</a>.

     <br><dt><b>Interrupt</b><dd><a name="index-interrupt-614"></a>Interrupt the last task launched (e.g. compilation, vcs query, <small class="dots">...</small>).

   </dl>

   </body></html>