diff options
| -rw-r--r-- | docs/guide/settings.md | 2 | ||||
| -rw-r--r-- | ui/fontsettings.h | 9 |
2 files changed, 10 insertions, 1 deletions
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`]|<a id='ui.font.emoji.style'>ui.font.emoji.style</a>| |ui|Allow Bold View Fonts|Should bold view fonts be allowed?|`boolean`|`True`|[`SettingsUserScope`]|<a id='ui.font.view.bold'>ui.font.view.bold</a>| |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`]|<a id='ui.font.view.name'>ui.font.view.name</a>| -|ui|View Font Size|The desired font size (in points) for the view font.|`number`|`12` (macOS), `11` (Windows/Linux)|[`SettingsUserScope`]|<a id='ui.font.view.size'>ui.font.view.size</a>| +|ui|View Font Size|The desired font size (in points) for the view font.|`number`|`12` (macOS), `10` (Windows), `11` (Linux)|[`SettingsUserScope`]|<a id='ui.font.view.size'>ui.font.view.size</a>| |ui|View Line Spacing|How much additional spacing should be inserted between baselines in views.|`number`|`1`|[`SettingsUserScope`]|<a id='ui.font.view.spacing'>ui.font.view.spacing</a>| |ui|View Font Style|The subfamily (e.g. Regular, Medium) of the view font that should be used.|`string`| |[`SettingsUserScope`]|<a id='ui.font.view.style'>ui.font.view.style</a>| |ui|Input Field History Limit|Controls the number of history entries to store for input dialogs.|`number`|`50`|[`SettingsUserScope`]|<a id='ui.inputHistoryCount'>ui.inputHistoryCount</a>| diff --git a/ui/fontsettings.h b/ui/fontsettings.h index 3d29db33..59de414c 100644 --- a/ui/fontsettings.h +++ b/ui/fontsettings.h @@ -18,6 +18,11 @@ enum AntialiasingStyle NoAntialiasing }; +//! Returns the default font size for the current platform. +int BINARYNINJAUIAPI getDefaultFontSize(); + +//! Returns the default application font name. +std::string BINARYNINJAUIAPI getDefaultApplicationFontName(); //! Returns the default application font, ignoring user settings. QFont BINARYNINJAUIAPI getDefaultApplicationFont(); //! Returns the currently configured application font (or the default, if it doesn't exist). @@ -29,6 +34,8 @@ QFont BINARYNINJAUIAPI getApplicationFont(QWidget* widget); */ void BINARYNINJAUIAPI setApplicationFont(const QFont* font); +//! Returns the default monospaced font name. +std::string BINARYNINJAUIAPI getDefaultMonospaceFontName(); //! Returns the default monospaced font, ignoring user settings. QFont BINARYNINJAUIAPI getDefaultMonospaceFont(); //! Returns the currently configured monospaced font (or the default, if it doesn't exist). @@ -40,6 +47,8 @@ QFont BINARYNINJAUIAPI getMonospaceFont(QWidget* widget); */ void BINARYNINJAUIAPI setMonospaceFont(const QFont* font); +//! Returns the default emoji font name. +std::string BINARYNINJAUIAPI getDefaultEmojiFontName(); //! Returns the default emoji font, ignoring user settings. QFont BINARYNINJAUIAPI getDefaultEmojiFont(); //! Returns the currently configured emoji font (or the default, if it doesn't exist). |