Font size and gui scale for tla toolbox

[pacak]

Description

4k monitor, 2x scaling in gnome. For some reason tla-toolbox doesn't obey this scaling. While I went over all the fonts (there's a lot of them) in the preferences and doubled the font sizes it still doesn't look good - icons are still tiny and not all fonts are affected. See screenshot.

Expected Behavior

Either respecting the scale or internal "zoom all the things by x" slider

Actual Behavior

Steps to Reproduce

1. Install the toolbox
2. Spend several hours trying to make it look good
3. Give up

Steps Taken to Fix

I'm trying to use vim instead, but CLI UX is not great either, maybe I'm spoiled by Rust.

Your Environment

• Toolbox version: This is Version 1.7.1 of 31 December 2020
• Operating System: Ubuntu 22.04