Wow, thank you! That actually helps a lot. I had been leaving it non-maximized and just stretched to the corners. This way is much better. (it also makes me think this is an internal GTK bug since I imagine GTK handles stuff like that)
Wow, thank you! That actually helps a lot. I had been leaving it non-maximized and just stretched to the corners. This way is much better. (it also makes me think this is an internal GTK bug since I imagine GTK handles stuff like that)