54 lines
1.9 KiB
HTML
54 lines
1.9 KiB
HTML
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
|
|
<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>Bookmarks</title>
|
|
<link rel="stylesheet" href="styles.css" type="text/css">
|
|
</head>
|
|
<body>
|
|
<h1>Bookmarks</h1>
|
|
A
|
|
bookmark is a special marker on a single line, indicated on the
|
|
bookmark margin. With this you can easily search for lines and
|
|
perform certain operations on them.
|
|
<p>
|
|
<h3>Adding/Removing
|
|
bookmarks:
|
|
</h3><p>You
|
|
can toggle a bookmark on a single line by clicking on the bookmark
|
|
margin in front of the line, or by selecting <span class="menu_item">Search->Toggle
|
|
Bookmark</span>
|
|
<p><h3>
|
|
To remove all bookmarks
|
|
</h3>Select <span class="menu_item">Search->Clear all Bookmarks</span>.<p><h3>Navigating
|
|
with bookmarks:</h3>
|
|
<p>To
|
|
Jump with the cursor to the next line containing a bookmark, select
|
|
<span class="menu_item">Search->Next Bookmark</span>, to go to the previous bookmarked line
|
|
select <span class="menu_item">Search->Previous Bookmark</span>.
|
|
<p>
|
|
|
|
<h3>Modifying
|
|
bookmarked lines:</h3>
|
|
<p>
|
|
You
|
|
can perform a single operation on all bookmarked lines.
|
|
<p>
|
|
<ul><li>
|
|
To
|
|
cut each bookmarked line, select <span class="menu_item">Search->Cut Bookmarked Lines</span>.
|
|
Every line will be cut from the file and added to the clipboard, so
|
|
they can all be pasted at once.
|
|
</li><li>To
|
|
copy, select <span class="menu_item">Search->Copy bookmarked Lines</span></font> instead.
|
|
</li><li>
|
|
To
|
|
replace each bookmarked line with the current clipboard contents,
|
|
select <span class="menu_item">Search->Paste to (Replace) bookmarked lines</span>.
|
|
/li><li>
|
|
To
|
|
remove all bookmarked lines, select <span class="menu_item">Search->Delete bookmarked
|
|
lines</span>.
|
|
</li></ul><p>
|
|
The
|
|
Delete option allows you to search for lines first, mark them with a
|
|
bookmark using search (see Search), then remove all of them based on
|
|
a certain trait.
|
|
</body></html> |