/usr/share/help/C/gnome-terminal/app-fonts.page is in gnome-terminal-data 3.28.1-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 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 | <page xmlns="http://projectmallard.org/1.0/"
type="task"
id="app-fonts">
<info>
<revision version="0.1" date="2013-02-22" status="candidate"/>
<link type="guide" xref="index#appearance"/>
<link type="guide" xref="pref#profile"/>
<credit type="author copyright">
<name>Sindhu S</name>
<email>sindhus@live.in</email>
<years>2013</years>
</credit>
<credit type="copyright editor">
<name>Ekaterina Gerasimova</name>
<email>kittykat3756@gmail.com</email>
<years>2013</years>
</credit>
<credit type="copyright editor">
<name>Michael Hill</name>
<email>mdhillca@gmail.com</email>
<years>2013</years>
</credit>
<include href="legal.xml" xmlns="http://www.w3.org/2001/XInclude"/>
<desc>Use system fonts or choose a custom font for your terminal.</desc>
</info>
<title>Change font and style</title>
<p>When you work with a lot of <app>Terminal</app> text, you may want to
change the default font to your preference. You have the following
options:</p>
<section id="system-font">
<title>System fixed width font</title>
<p>To use system default fonts:</p>
<steps>
<item>
<p>Open <guiseq><gui style="menu">Edit</gui>
<gui style="menuitem">Preferences</gui></guiseq>.</p>
</item>
<item>
<p>Your current profile is selected in the sidebar. If you wish to edit
a different profile, click on its name.</p>
</item>
<item>
<p>Select <gui style="tab">Text</gui>.</p>
</item>
<item>
<p>Unselect <gui style="checkbox">Custom font</gui>.</p>
</item>
</steps>
</section>
<section id="custom-font">
<title>Set a custom font</title>
<p>To set a custom font and size:</p>
<steps>
<item>
<p>Open <guiseq><gui style="menu">Edit</gui>
<gui style="menuitem">Preferences</gui></guiseq>.</p>
</item>
<item>
<p>Your current profile is selected in the sidebar. If you wish to edit
a different profile, click on its name.</p>
</item>
<item>
<p>Select <gui style="tab">Text</gui>.</p>
</item>
<item>
<p>Select <gui style="checkbox">Custom font</gui>.</p>
</item>
<item>
<p>Click on the button next to <gui style="checkbox">Custom font</gui>.</p>
</item>
<item>
<p>Type the name of your desired font into the search field or browse the
list of fonts.</p>
</item>
<item>
<p>Drag the slider that is below the font list to set the font size.
Alternatively, you can type in the font size into the field next to the
slider, or click on <gui style="button">+</gui> to increase font size or
<gui style="button">-</gui> to decrease selected font size.</p>
</item>
<item>
<p>Click <gui style="button">Select</gui> to apply your changes. To
discard changes and go back to previous dialog, click
<gui style="button">Cancel</gui>.</p>
</item>
</steps>
</section>
<section id="cell-spacing">
<title>Line spacing and character spacing</title>
<p><app>Terminal</app> allows you to pull its characters apart for improved
readability. Line spacing and character spacing can be adjusted from 1.0
(the regular look) to 2.0 (“double spacing”), including fractional values
in between.</p>
<steps>
<item>
<p>Open <guiseq><gui style="menu">Edit</gui>
<gui style="menuitem">Preferences</gui></guiseq>.</p>
</item>
<item>
<p>Your current profile is selected in the sidebar. If you wish to edit
a different profile, click on its name.</p>
</item>
<item>
<p>Select <gui style="tab">Text</gui>.</p>
</item>
<item>
<p>To set the horizontal character spacing, adjust the multiplier number
in front of <gui>width</gui>.</p>
</item>
<item>
<p>To set the line spacing, adjust the multiplier number in front of
<gui>height</gui>.</p>
</item>
</steps>
</section>
</page>
|