Adding rounded corners

[Hamza_Algohary]

Try this:
window.set_visual(window.get_screen().get_rgba_visual());