From a13c3f5cfd7ddf1840371fb7fb435ecb4ebf14b2 Mon Sep 17 00:00:00 2001 From: Alexander Taylor Date: Tue, 29 Aug 2023 11:17:41 -0400 Subject: Expose Name versions of font getters, update docs. --- docs/guide/settings.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/guide') diff --git a/docs/guide/settings.md b/docs/guide/settings.md index d1843511..9e4f5c56 100644 --- a/docs/guide/settings.md +++ b/docs/guide/settings.md @@ -246,7 +246,7 @@ All settings are uniquely identified with an identifier string. Identifiers are |ui|Emoji Font Style|The subfamily of the emoji font that should be used.|`string`| |[`SettingsUserScope`]|ui.font.emoji.style| |ui|Allow Bold View Fonts|Should bold view fonts be allowed?|`boolean`|`True`|[`SettingsUserScope`]|ui.font.view.bold| |ui|View Font Name|The font to be used in disassembly views, the hex editor, and anywhere a monospaced font is appropriate.|`string`|`Roboto Mono`|[`SettingsUserScope`]|ui.font.view.name| -|ui|View Font Size|The desired font size (in points) for the view font.|`number`|`12` (macOS), `11` (Windows/Linux)|[`SettingsUserScope`]|ui.font.view.size| +|ui|View Font Size|The desired font size (in points) for the view font.|`number`|`12` (macOS), `10` (Windows), `11` (Linux)|[`SettingsUserScope`]|ui.font.view.size| |ui|View Line Spacing|How much additional spacing should be inserted between baselines in views.|`number`|`1`|[`SettingsUserScope`]|ui.font.view.spacing| |ui|View Font Style|The subfamily (e.g. Regular, Medium) of the view font that should be used.|`string`| |[`SettingsUserScope`]|ui.font.view.style| |ui|Input Field History Limit|Controls the number of history entries to store for input dialogs.|`number`|`50`|[`SettingsUserScope`]|ui.inputHistoryCount| -- cgit v1.3.1