This file is indexed.

/usr/share/doc/gnat-gps/html/The-Clipboard-View.html is in gnat-gps-doc 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
 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
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<!-- 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 2 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/.

A copy of the license is included in the section entitled
"GNU General Public License". -->
<!-- Created by GNU Texinfo 5.1, http://www.gnu.org/software/texinfo/ -->
<head>
<title>Using the GNAT Programming Studio: The Clipboard View</title>

<meta name="description" content="Using the GNAT Programming Studio: The Clipboard View">
<meta name="keywords" content="Using the GNAT Programming Studio: The Clipboard View">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="makeinfo">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<link href="index.html#Top" rel="start" title="Top">
<link href="Index-table.html#Index-table" rel="index" title="Index table">
<link href="Description-of-the-Main-Windows.html#Description-of-the-Main-Windows" rel="up" title="Description of the Main Windows">
<link href="The-Callgraph-View.html#The-Callgraph-View" rel="next" title="The Callgraph View">
<link href="The-Outline-View.html#The-Outline-View" rel="previous" title="The Outline View">
<style type="text/css">
<!--
   

a.summary-letter {text-decoration: none}
blockquote.smallquotation {font-size: smaller}
div.display {margin-left: 3.2em}
div.example {margin-left: 3.2em}
div.indentedblock {margin-left: 3.2em}
div.lisp {margin-left: 3.2em}
div.smalldisplay {margin-left: 3.2em}
div.smallexample {margin-left: 3.2em}
div.smallindentedblock {margin-left: 3.2em; font-size: smaller}
div.smalllisp {margin-left: 3.2em}
kbd {font-style:oblique}
pre.display {font-family: inherit}
pre.format {font-family: inherit}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
pre.smalldisplay {font-family: inherit; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: inherit; font-size: smaller}
pre.smalllisp {font-size: smaller}
span.nocodebreak {white-space:nowrap}
span.nolinebreak {white-space:nowrap}
span.roman {font-family:serif; font-weight:normal}
span.sansserif {font-family:sans-serif; font-weight:normal}
ul.no-bullet {list-style: none}
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 lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
<a name="The-Clipboard-View"></a>
<div class="header">
<p>
Next: <a href="The-Callgraph-View.html#The-Callgraph-View" accesskey="n" rel="next">The Callgraph View</a>, Previous: <a href="The-Outline-View.html#The-Outline-View" accesskey="p" rel="previous">The Outline View</a>, Up: <a href="Description-of-the-Main-Windows.html#Description-of-the-Main-Windows" accesskey="u" rel="up">Description of the Main Windows</a> &nbsp; [<a href="Index-table.html#Index-table" title="Index" rel="index">Index</a>]</p>
</div>
<hr>
<a name="The-Clipboard-View-1"></a>
<h3 class="section">2.11 The Clipboard View</h3>
<a name="index-clipboard-view"></a>

<p>GPS has an advanced mechanism for handling copy/paste operations.
</p>
<p>When you select the menus <code>Edit-&gt;Copy</code> or <code>Edit-&gt;Cut</code>, GPS adds the
current selection to the clipboard. As opposed to what lots of applications
do, it doesn&rsquo;t discard the previous contents of the clipboard, but save it for
future usage. It saves a number of entries this way, up to 10 by default.
This value is configurable through the <code>Clipboard Size</code> preference.
</p>
<p>When you select the menu <code>Edit-&gt;Paste</code>, GPS will paste the last entry
made in the clipboard at the current location in the editor.
</p>
<p>If you immediately select <code>Edit-&gt;Paste Previous</code>, this newly inserted
text will be removed, and GPS will instead insert the second to last entry
added to the clipboard. You can keep selecting the same menu to get access
to older entries.
</p>
<p>This is a very powerful mechanism, since it means you can copy several distinct
lines from a place in an editor, move to an other editor and paste all these
separate lines, without having to go back and forth between the two editors.
</p>
<p>The <code>Clipboard View</code> provides a graphical mean of seeing what is currently
stored in the clipboard. It appears as a list of lines, each of which is
associated with one level of the clipboard. The text that shows in these lines
is the first line of the selection at that level that contains non blank
characters. Leading characters are discarded. <code>[...]</code> is prepended
or appended in case the selection has been truncated.
</p>
<p>If you bring the mouse over a line in the <code>Clipboard View</code>, a tooltip will
pop up showing the entire selection corresponding to the line by opposition to
the possibly truncated one.
</p>
<p>In addition, one of the lines has an arrow on its left. This indicates the
line that will be pasted when you select the menu <code>Edit-&gt;Paste</code>. If you
select instead the menu <code>Edit-&gt;Paste Previous</code>, then the line below that
one will be inserted instead.
</p>
<p>If you double-click on any of these lines, GPS will insert the corresponding
text in the current editor, and make the line you clicked on the current line,
so that selecting <code>Edit-&gt;Paste</code> or the equivalent shortcut will now
insert that line.
</p>
<p>The contextual menu in the clipboard view provides one entry, which is
<code>Append To Previous</code>. If you select this entry, the select line will
be append to the one below, and removed from the clipboard. This means that
selection <code>Edit-&gt;Paste</code> will in fact paste the two entries at the same
time. This is in particular useful when you want to copy lines from separate
places in the initial file, merge them, and then paste them together one or
more times later on, through a single operation.
</p>
<p>The Clipboard View content is preserved between GPS sessions. As an exception,
huge entries are removed and replaced with an entry saying &quot;[Big entry has
been removed]&quot;.
</p>
<hr>
<div class="header">
<p>
Next: <a href="The-Callgraph-View.html#The-Callgraph-View" accesskey="n" rel="next">The Callgraph View</a>, Previous: <a href="The-Outline-View.html#The-Outline-View" accesskey="p" rel="previous">The Outline View</a>, Up: <a href="Description-of-the-Main-Windows.html#Description-of-the-Main-Windows" accesskey="u" rel="up">Description of the Main Windows</a> &nbsp; [<a href="Index-table.html#Index-table" title="Index" rel="index">Index</a>]</p>
</div>



</body>
</html>