I think this is an issue with GTK2's lack of support for high DPI screens - this is working properly in the in-progress port to GTK3
I think this is an issue with GTK2's lack of support for high DPI screens - this is working properly in the in-progress port to GTK3