/usr/share/help/gl/gedit/session-saver.page is in gedit-plugins 3.18.0-1.
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 | <?xml version="1.0" encoding="utf-8"?>
<page xmlns="http://projectmallard.org/1.0/" xmlns:its="http://www.w3.org/2005/11/its" type="topic" style="task" id="plugin-session-saver" xml:lang="gl">
<info>
<link type="guide" xref="gedit-plugin-guide#gedit-additional-plugins"/>
<revision version="3.4" date="2013-02-24" status="review"/>
<credit type="author">
<name>Jim Campbell</name>
<email its:translate="no">jwcampbell@gmail.com</email>
</credit>
<desc>Save and restore your working sessions.</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>2011-2012.</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>Gardador de sesións</title>
<p>The <app>Session Saver</app> plugin saves groups of files together so that
you can open them together at a later time. To enable the plugin, select
<guiseq><gui style="menu">gedit</gui><gui style="menuitem">Preferences</gui>
<gui>Plugins</gui><gui>Session Saver</gui></guiseq>.</p>
<steps>
<title>Para gardar unha sesión nova:</title>
<item>
<p>Seleccione <guiseq><gui>Ficheiro</gui><gui>Sesións gardadas</gui><gui>Gardar sesión actual</gui></guiseq>.</p>
</item>
<item>
<p>Escriba un nome para a sesión no cadro de diálogo <gui>Gardar sesión</gui>.</p>
</item>
<item>
<p>Prema <gui>Gardar</gui>.</p>
</item>
</steps>
<steps>
<title>Para abrir unha sesión existente:</title>
<item>
<p>Seleccione <guiseq><gui>Editar</gui><gui>Sesións gardadas</gui></guiseq></p>
</item>
<item>
<p>Prema no nome da sesión que quere.</p>
</item>
</steps>
<steps>
<title>Para eliminar unha sesión existente:</title>
<item>
<p>Select <guiseq><gui>File</gui><gui>Saved Sessions</gui><gui>Manage
saved sessions</gui></guiseq>.</p>
</item>
<item>
<p>Seleccione o nome da sesión que quere eliminar.</p>
</item>
<item>
<p>Prema <gui>Eliminar</gui>.</p>
</item>
<item>
<p>Prema <gui>Pechar</gui>.</p>
<p>O nome da sesión aparecerá na súa lista de sesións até que peche <app>gedit</app>.</p>
</item>
</steps>
</page>
|