re-applying font size (setting it) will take int account any new scale value that may be set. this allows elementary_config or any config tool that is updating config to change scaling and terminology properly adapts. elementary itself for all widgets already takes care of its own gui elements, but since the terminal grid is a custom thing for terminology - it is responsible for doing this itself. now it does. @featterminology-1.9
parent
3ad89d9db4
commit
d9a5832bd6
1 changed files with 26 additions and 0 deletions
Loading…
Reference in new issue