This file is indexed.

/usr/share/help/C/gnome-terminal/pref-user-input.page is in gnome-terminal-data 3.18.3-1ubuntu1.

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
<page xmlns="http://projectmallard.org/1.0/"
      type="topic"
      id="pref-user-input">

  <info>
    <revision pkgversion="3.14" date="2014-10-23" status="review"/>
    <link type="guide" xref="index#preferences"/>

    <credit type="author copyright">
      <name>Ekaterina Gerasimova</name>
      <email>kittykat3756@gmail.com</email>
      <years>2014</years>
    </credit>

    <include href="legal.xml" xmlns="http://www.w3.org/2001/XInclude"/>

    <desc>Do not send user input to the application running in the
    terminal.</desc>

  </info>

  <title>Disable user input</title>

  <p>You can prevent user input into the terminal from being passed to the
  application which is currently running in the terminal. This will prevent any
  keypresses, mouse clicks and mouse movement from affecting the application.
  You will still be able to interact with the terminal itself using the
  keyboard for scrolling and your mouse for selecting text. You will also be
  able to copy selected text from the terminal, but you will not be able to
  paste text into the terminal.</p>

  <p>To use the read only mode:</p>

  <steps>
    <item>
      <p>Right click in the <app>Terminal</app> window or select
      the <gui style="menu">Terminal</gui> menu.</p>
    </item>
    <item>
      <p>Select <gui style="menuitem">Read-Only</gui> so that it is checked.</p>
    </item>
  </steps>

  <p>You can disable the read only mode by unchecking
  <gui style="menuitem">Read-Only</gui>.</p>

</page>