This file is indexed.

/usr/share/doc/gnat-gps/html/Selecting-Windows.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
<html lang="en">
<head>
<title>Selecting Windows - 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="Multiple-Document-Interface.html#Multiple-Document-Interface" title="Multiple Document Interface">
<link rel="next" href="Closing-Windows.html#Closing-Windows" title="Closing Windows">
<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="Selecting-Windows"></a>
<p>
Next:&nbsp;<a rel="next" accesskey="n" href="Closing-Windows.html#Closing-Windows">Closing Windows</a>,
Up:&nbsp;<a rel="up" accesskey="u" href="Multiple-Document-Interface.html#Multiple-Document-Interface">Multiple Document Interface</a>
<hr>
</div>

<h3 class="section">4.1 Selecting Windows</h3>

<p><a name="index-window-selection-110"></a><!--  -->

<p class="noindent">At any time, there is only one selected window in GPS (the <b>active
window</b>). You can select a window either by clicking in its title bar,
which will then get a different color, or by selecting its name in the
menu <code>Window</code>.

   <p>Alternatively, windows can be selected with the keyboard. By default,
the selection key is &lt;Alt-Tab&gt;. When you press it, a temporary
dialog is popped-up on the screen, with the name of the window that
will be selected when the key is released. If you press the selection
key multiple times, this will iterate over all the windows currently
open in GPS.

   <p>This interactive selection dialog is associated with a filter,
displayed below the name of the selected window. If you maintain
&lt;Alt&gt; pressed while pressing other keys than &lt;Tab&gt;, this
will modify the current filter. From then on, pressing
&lt;Alt-Tab&gt; will only iterate through those windows that match
the filter.

   <p>The filter is matched by any window whose name contains the letter you
have typed. For instance, if you are currently editing the files
<samp><span class="file">unit1.adb</span></samp> and <samp><span class="file">file.adb</span></samp>, pressing &lt;t&gt; will only leave
<samp><span class="file">unit1.adb</span></samp> selectable.

<!--  -->
   </body></html>