Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Preferences: tweak order in Margins/Border/Edge #670

Merged
merged 1 commit into from
May 8, 2024
Merged

Preferences: tweak order in Margins/Border/Edge #670

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions content/docs/preferences.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -166,6 +166,10 @@ These define the margin style, border width, and edge settings.
* `☐ Line mode`: The vertical edge is indicated by a solid vertical line.
* `☐ Background mode`: The vertical edge is indicated by styling the _background_ of the text to the right of the edge.
* `Number of columns: __ `: Sets where the vertical edge will be, in numbers of columns (characters) from the left edge of the page.
* **Change History**:
* `☐ Show in the margin`: 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).
* `☐ Show in the text`: Shows a background color to indicate lines that have been changed, with the same rules as the margin version.
* Colors: The background of this margin is set by the background color of the [**Global Styles > Change History Margin**](#global-styles). The other colors are affected by the [**Change History modified, Change History revert modified, Change History revert origin, and Changed History saved**](#global-styles) styles.
* **Line Number**:
* `☐ Display`: Shows the line numbers to the left of the text.
* `☐ Dynamic width`: The line number display will adjust its width based on the number of digits needed.
Expand All @@ -174,10 +178,6 @@ These define the margin style, border width, and edge settings.
* **Left** will add _N_ pixels of padding between the left edge of the editor pane and the actual text (this is beyond the space allocated for the line numbering, and beyond the space allocated for the folding column). A bigger number leaves more of a gap, and thus less room for actual text.
* **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.
* 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.
* **Change History**:
* `☐ Show in the margin`: 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).
* `☐ Show in the text`: Shows a background color to indicate lines that have been changed, with the same rules as the margin version.
* Colors: The background of this margin is set by the background color of the [**Global Styles > Change History Margin**](#global-styles). The other colors are affected by the [**Change History modified, Change History revert modified, Change History revert origin, and Changed History saved**](#global-styles) styles.
* `☐ 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.

### New Document
Expand Down