/usr/share/help/oc/gedit/bookmarks.page is in gedit-plugin-bookmarks 3.28.1-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 | <?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-bookmarks" xml:lang="oc">
<info>
<link type="guide" xref="gedit-plugin-guide#gedit-additional-plugins"/>
<revision version="3.4" date="2013-02-24" status="review"/>
<revision version="3.14" date="2014-09-10" status="review"/>
<credit type="author">
<name>Jim Campbell</name>
<email its:translate="no">jwcampbell@gmail.com</email>
</credit>
<credit type="copyright editor">
<name>Ekaterina Gerasimova</name>
<email its:translate="no">kittykat3756@gmail.com</email>
<years>2014</years>
</credit>
<desc>Record commonly-referenced locations with bookmarks.</desc>
</info>
<title>Bookmarks</title>
<p><app>gedit</app> bookmarks allow you to highlight important lines of text
within your document or program, making them easier to find. You can also
move up or down between bookmarks, making document navigation a bit
faster.</p>
<p>To enable the bookmark plugin, select <guiseq><gui style="menu">gedit</gui>
<gui style="menuitem">Preferences</gui><gui>Plugins</gui>
<gui>Bookmarks</gui></guiseq>.</p>
<steps>
<title>Bookmarks are inserted and removed by completing the same action. To
insert or remove bookmarks:</title>
<item>
<p>Navigate to the line where you want to insert or remove the
bookmark.</p>
</item>
<item>
<p>Press <keyseq><key>Ctrl</key><key>Alt</key><key>B</key></keyseq>, or
open the menu in the top-right corner and select
<gui style="menuitem">Toggle Bookmark</gui>.</p>
</item>
</steps>
<list>
<title>To move between bookmarks:</title>
<item>
<p>Press <keyseq><key>Ctrl</key><key>B</key></keyseq> to move to the next
bookmark.</p>
</item>
<item>
<p>Press <keyseq><key>Ctrl</key><key>Shift</key><key>B</key></keyseq> to
move to the previous bookmark.</p>
</item>
</list>
<note>
<p>If you prefer to use the mouse, you can open the menu in the top-right
corner and select <gui style="menuitem">Go to Next Bookmark</gui> or
<gui style="menuitem">Go to Previous Bookmark</gui>.</p>
</note>
</page>
|