/usr/share/help/eu/gedit/git.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 | <?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-git" xml:lang="eu">
<info>
<link type="guide" xref="gedit-plugin-guide#gedit-additional-plugins"/>
<revision version="3.10" date="2013-10-21" status="draft"/>
<credit type="author">
<name>Aleksandra Hankus</name>
<email its:translate="no">ola.hankus@gmail.com</email>
</credit>
<desc>Highlight lines that have been changed since the last commit.</desc>
</info>
<title>Git</title>
<p>The <app>git</app> plugin will highlight lines that have been changed since
the last commit. Lines will be highlighted only on files that are already
tracked by git.</p>
<p>To enable the plugin, select <guiseq><gui style="menu">gedit</gui>
<gui style="menuitem">Preferences</gui><gui>Plugins</gui>
<gui>Git</gui></guiseq>.</p>
<p>The changes are shown in the margin of the document in three different
colors:</p>
<terms>
<item>
<title>Green</title>
<p>Shows the new lines added to the document.</p>
</item>
<item>
<title>Orange</title>
<p>Shows the lines that have been modified in the document.</p>
</item>
<item>
<title>Red</title>
<p>Shows the parts of the document that have been deleted.</p>
</item>
</terms>
<note>
<p>Hover the mouse pointer on the red or orange margin to view the original
text in a tool tip.</p>
</note>
</page>
|