binaryninja-api icon indicating copy to clipboard operation
binaryninja-api copied to clipboard

Refreshing themes ignore the `ui.font.app.size` setting

Open xusheng6 opened this issue 2 years ago • 0 comments

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

xusheng6 avatar Jul 20 '23 09:07 xusheng6