By the way, I tried the Chicago95 theme on the mac and there's a problem on HiDPI screens - see below (mostly the tabs):

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.

—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.