mirror of https://github.com/helix-editor/helix
deploy: 0516337abb
parent
81b2560887
commit
8c5e1ce077
|
@ -456,7 +456,10 @@ min-width = 1
|
|||
<h4 id="editorguttersdiagnostics-section"><a class="header" href="#editorguttersdiagnostics-section"><code>[editor.gutters.diagnostics]</code> Section</a></h4>
|
||||
<p>Currently unused</p>
|
||||
<h4 id="editorguttersdiff-section"><a class="header" href="#editorguttersdiff-section"><code>[editor.gutters.diff]</code> Section</a></h4>
|
||||
<p>Currently unused</p>
|
||||
<p>The <code>diff</code> gutter option displays colored bars indicating whether a <code>git</code> diff represents that a line was added, removed or changed.
|
||||
These colors are controlled by the theme attributes <code>diff.plus</code>, <code>diff.minus</code> and <code>diff.delta</code>.</p>
|
||||
<p>Other diff providers will eventually be supported by a future plugin system.</p>
|
||||
<p>There are currently no options for this section.</p>
|
||||
<h4 id="editorguttersspacer-section"><a class="header" href="#editorguttersspacer-section"><code>[editor.gutters.spacer]</code> Section</a></h4>
|
||||
<p>Currently unused</p>
|
||||
<h3 id="editorsoft-wrap-section"><a class="header" href="#editorsoft-wrap-section"><code>[editor.soft-wrap]</code> Section</a></h3>
|
||||
|
|
|
@ -1626,7 +1626,10 @@ min-width = 1
|
|||
<h4 id="editorguttersdiagnostics-section"><a class="header" href="#editorguttersdiagnostics-section"><code>[editor.gutters.diagnostics]</code> Section</a></h4>
|
||||
<p>Currently unused</p>
|
||||
<h4 id="editorguttersdiff-section"><a class="header" href="#editorguttersdiff-section"><code>[editor.gutters.diff]</code> Section</a></h4>
|
||||
<p>Currently unused</p>
|
||||
<p>The <code>diff</code> gutter option displays colored bars indicating whether a <code>git</code> diff represents that a line was added, removed or changed.
|
||||
These colors are controlled by the theme attributes <code>diff.plus</code>, <code>diff.minus</code> and <code>diff.delta</code>.</p>
|
||||
<p>Other diff providers will eventually be supported by a future plugin system.</p>
|
||||
<p>There are currently no options for this section.</p>
|
||||
<h4 id="editorguttersspacer-section"><a class="header" href="#editorguttersspacer-section"><code>[editor.gutters.spacer]</code> Section</a></h4>
|
||||
<p>Currently unused</p>
|
||||
<h3 id="editorsoft-wrap-section"><a class="header" href="#editorsoft-wrap-section"><code>[editor.soft-wrap]</code> Section</a></h3>
|
||||
|
|
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
Loading…
Reference in New Issue