binaryninja-api
binaryninja-api copied to clipboard
Refreshing themes ignore the `ui.font.app.size` setting
When I refresh the theme (even without changing the theme), the ui.font.app.size is ignored and the default size is used. The setting is properly read on the initial launch, though