Skip to content

Commit 4a9c10a

Browse files
committed
add hidden-line desc to Display Bookmark setting
closes #459
1 parent 728e995 commit 4a9c10a

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

content/docs/preferences.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -154,7 +154,7 @@ These define the margin style, border width, and edge settings. (This page is n
154154
* **Right** will add _N_ pixels of padding between the right edge of the editor pane and the actual text. A bigger number leaves more of a gap, and thus less room for actual text.
155155
* The **Distraction Free** setting changes the borders when [**Distraction Free Mode**](../views/#application-views) is active; a bigger number means more of the screen width is allocated to distraction free text, and a smaller number means less of the screen width is allocated to distraction free text.
156156
* `☐ Display Change History`: shows a narrow column with a color to indicate lines that have been changed (orange), or lines that were changed in this session but have been saved (green), or changes that have been undone since the last change (light blue/green). The background of this margin is set by the background color of the [**Global Styles > Change History Margin**](#global-styles)
157-
* `☐ Display bookmark`: shows a large shaded circle next to all rows that contain a bookmark
157+
* `☐ Display bookmark`: adds an additional margin to the left of the text editing area, to show a large shaded circle next to all lines that contain a bookmark, and green arrow symbols that bracket a range of hidden lines.
158158

159159
### New Document
160160

0 commit comments

Comments
 (0)