By the way, I tried the Chicago95 theme on the mac and there's a problem on HiDPI screens - see below (mostly the tabs):
<img width="1270" alt="Screen Shot 2022-01-03 at 18 11 01" src="https://user-images.githubusercontent.com/713965/147960486-1993b835-8ff6-4bcd-9600-d4bf3419a2f0.png">
Everything looks OK on normal resolution screens. This might be a bug in the macOS GTK backend and it might not be present on Windows but better test if the used theme looks well on HiDPI screens there. I even tried to generate `@2.png` files using this script ``` from PIL import Image import glob import os
for fname in glob.glob("*.png"): img = Image.open(fname) width, height = img.size im_resized = img.resize((width*2, height*2), Image.NEAREST) basename = os.path.splitext(fname)[0] im_resized.save(basename + "@2.png", "PNG") ``` but it didn't help.