This file is indexed.

/usr/share/help/C/gnome-terminal/pref-tab-window.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
48
49
50
51
<page xmlns="http://projectmallard.org/1.0/"
      xmlns:its="http://www.w3.org/2005/11/its"
      type="guide"
      id="pref-tab-window">

  <info>
    <link type="guide" xref="index#appearance"/>
    <link type="seealso" xref="gs-tabs"/>
    <revision pkgversion="3.12" date="2014-02-26" status="review"/>
    <revision pkgversion="3.14.2" date="2015-01-27" status="review"/>

    <credit type="author copyright">
      <name>Ekaterina Gerasimova</name>
      <email its:translate="no">kittykat3756@gmail.com</email>
      <years>2014–2015</years>
    </credit>
    <!--<credit type="copyright editor">
      <name></name>
      <email its:translate="no"></email>
      <years></years>
    </credit>-->

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

    <desc>Choose whether to open a new window or a new tab by default.</desc>
  </info>

  <title>Windows and tabs</title>

  <p>You can chose whether to open a new tab or a new <app>Terminal</app>
  window when you use <gui style="menuitem">Open Terminal</gui>.</p>

  <steps>
    <item>
      <p>Select
      <guiseq><gui style="menu">Edit</gui><gui style="menuitem">Preferences</gui><gui style="tab">General</gui></guiseq>.</p>
    </item>
    <item>
      <p>Set <gui>Open new terminals in:</gui> to <gui>Tab</gui> or
      <gui>Window</gui>.</p>
    </item>
  </steps>

  <p>Once you have set the preference, you can use <key>Ctrl</key> to invert
  the preference. For example, if you have your preferences set to open a new
  terminal in a new tab, then pressing <gui style="menuitem">New Terminal</gui>
  will open a new tab. On the other hand, if you hold down <key>Ctrl</key> and
  then press <gui style="menuitem">New Terminal</gui>, then a new window will
  be opened instead.</p>

</page>