Skip to content

Commit 39af183

Browse files
committed
Update config file docs
Note addition of DetailFontSize property to Prefs:Display section of per-user config file and resulting bumping of file's version number.
1 parent 9ba823e commit 39af183

File tree

1 file changed

+8
-2
lines changed

1 file changed

+8
-2
lines changed

Docs/Design/FileFormats/config.html

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
* v. 2.0. If a copy of the MPL was not distributed with this file, You can
66
* obtain one at https://mozilla.org/MPL/2.0/
77
*
8-
* Copyright (C) 2012-2021, Peter Johnson (gravatar.com/delphidabbler).
8+
* Copyright (C) 2012-2022, Peter Johnson (gravatar.com/delphidabbler).
99
*
1010
* CodeSnip File Format Documentation: Configuration Files
1111
-->
@@ -167,7 +167,7 @@ <h3>
167167
</p>
168168

169169
<p>
170-
There have been several versions of this file. The current one is version 17. The change to version 17 came with CodeSnip v4.19.0 and the addition of the [Prefs] section.
170+
There have been several versions of this file. The current one is version 18. The change to version 18 came with CodeSnip v4.20.0 and the addition of the [Prefs] section.
171171
</p>
172172

173173
<p>
@@ -919,6 +919,12 @@ <h4>
919919
<dd>
920920
Size of font to be used in overview pane tree view. If missing or empty the default value is <code class="value">9</code>.
921921
</dd>
922+
<dt>
923+
<code class="key">DetailFontSize</code> (Integer)
924+
</dt>
925+
<dd>
926+
Size of font to be used in detail pane for all text except for source code. If missing or empty the default value is the default content font size of the operating system.
927+
</dd>
922928
</dl>
923929

924930
<h4>

0 commit comments

Comments
 (0)