search

Vector35 / binaryninja-api

Public API, examples, documentation and issues for Binary Ninja
https://binary.ninja/
MIT License
927 stars 209 forks source link

Changing font does not affect new tab widget font until restart #3890

Closed xusheng6 closed 1 year ago

xusheng6 commented 1 year ago

The font size is hot hot-changed like other widgets. One needs to restart BN to make the font change take effect

Similar to #3861

xusheng6 commented 1 year ago

Now tracked as part of https://github.com/Vector35/binaryninja-api/issues/3891