Skip to content

Commit d548a1e

Browse files
authored
rephase
1 parent 5c3ee48 commit d548a1e

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

content/docs/searching.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -153,9 +153,9 @@ Highlighting is also available in Incremental search, and the style setting is S
153153

154154
#### Bookmarks vs Marks
155155

156-
Bookmarks and Marks are two slightly different things, though the **Mark** tab can affect both. A Mark will highlight the individual match(es) in the text; a Bookmark affects the whole line, and is usually displayed as a circle (``) in the margin, though [**Settings > Preferences > Margin/Border/Edge**](../preferences/#margins-border-edge) has a `☐ Display bookmark` toggle that will influence whether Bookmarks have that circle indicator or not.
156+
Bookmarks and Marks are two slightly different things, though the **Mark** tab can affect both. A Mark will highlight the individual match(es) in the text; a Bookmark affects the whole line, and is usually displayed as a circle (``) in the margin (though [**Settings > Preferences > Margin/Border/Edge**](../preferences/#margins-border-edge) has a `☐ Display bookmark` toggle that will influence whether Bookmarks have that circle indicator or not).
157157

158-
Bookmarks, whether visible or not, have a menu that can control and navigate Bookmarks. This menu is accessible either as **Search > Bookmark >** or by right clicking in the Bookmark portion of the margin (between the line number and the text, with the same background color as the line number). This menu has options to toggle the state of the current line's Bookmark, to navigate to the next or previous Bookmark, to clear all Bookmarks, to cut or copy Bookmarked lines, to paste over (replace) Bookmarked lines, to delete Bookmarked (or non-Bookmarked) lines, or to invert all the Bookmarks (so all lines with a Bookmark have the Bookmark removed, and all lines without a Bookmark have a Bookmark added).
158+
Bookmarks, whether visible or not, have a menu that can control and navigate Bookmarks. This menu is accessible either as **Search > Bookmark** or by right clicking in the Bookmark portion of the margin (between the line number and the text, if line numbers are displayed). This menu has options to toggle the state of the current line's Bookmark, to navigate to the next or previous Bookmark, to clear all Bookmarks, to cut or copy Bookmarked lines, to paste over (replace) Bookmarked lines, to delete Bookmarked (or non-Bookmarked) lines, or to invert all the Bookmarks (so all lines with a Bookmark have the Bookmark removed, and all lines without a Bookmark have a Bookmark added).
159159

160160
### Search results window
161161

0 commit comments

Comments
 (0)