文件操作 - app-fonts.page

文件: /usr/share/help/gl/gnome-terminal/app-fonts.page

编辑文件内容

<?xml version="1.0" encoding="utf-8"?>
<page xmlns="http://projectmallard.org/1.0/" type="task" id="app-fonts" xml:lang="gl">

<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>

<desc>Use os tipos de letra do sistema ou seleccione un tipo de letra personalizado para o seu terminal.</desc>

<mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
      <mal:name>Fran Dieguez</mal:name>
      <mal:email>frandieguez@gnome.org</mal:email>
      <mal:years>2013.</mal:years>
    </mal:credit>
  
    <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
      <mal:name>Leandro Regueiro</mal:name>
      <mal:email>leandro.regueiro@gmail.com</mal:email>
      <mal:years>2011.</mal:years>
    </mal:credit>
  </info>

<title>Cambiar o tipo de letra e estilo</title>

<p>Cando traballa con moito texto no <app>Terminal</app>, pode querer cambiar o tipo de letra predeterminado á súa elección. Debe seguir as seguintes opcións:</p>

<section id="system-font">
  <title>Tipo de letra de largura fixa do sistema</title>

<p>Para usar os tipos de letra predeterminados do sistema:</p>

</section>

<section id="custom-font">
  <title>Estabelecer un tipo de letra personalizado</title>

<p>Para estabelecer un tipo de letra e tamaño personalizado:</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>Escriba o nome do tipo de letra que desexa no campo de busca ou explore a lista de tipos de letra.</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>

</section>

</page>

文件操作 - app-fonts.page

文件: /usr/share/help/gl/gnome-terminal/app-fonts.page

编辑文件内容

修改文件时间

删除文件