/usr/share/help/C/gedit/gedit-plugin-guide.page is in gedit-common 3.18.3-0ubuntu4.
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 | <page xmlns="http://projectmallard.org/1.0/"
type="guide" style="task"
id="gedit-plugin-guide">
<info>
<link type="guide" xref="index#gedit-plugins"/>
<desc>Use plugins to customize how gedit works for you.</desc>
<revision pkgversion="3.8" date="2013-02-24" status="review"/>
<credit type="author">
<name>Jim Campbell</name>
<email>jcampbell@gnome.org</email>
</credit>
<include href="legal.xml" xmlns="http://www.w3.org/2001/XInclude"/>
</info>
<title>Configure and use gedit plugins</title>
<p>You can do more with <app>gedit</app> by using plugins. Several plugins
are installed by default, but a large number of other plugins are available
separately.</p>
<note><p>Many Linux distributions make a group of these plugins available as
a <app>gedit-plugins</app> package. Install the <app>gedit-plugins</app>
package to make these extra plugins available to <app>gedit</app>.</p></note>
<section id="gedit-default-plugins" style="2column">
<title>Default gedit Plugins</title>
</section>
<section id="gedit-additional-plugins" style="2column">
<title>Additional gedit Plugins</title>
</section>
<!-- TODO document how to create gedit plugins
<section id="gedit-create-plugins">
<title>Create your own gedit Plugins</title>
</section>
-->
</page>
|