Hi, sorry if this is the wrong place to ask but I genuinely don't know where to ask. Is there a way to query monitor/screen size and resolution (fx 1920x1080 etc.). I wanted to resize the terminal window up by a factor based on a monitor size. Using another backend just for this seems like a bit much, so I thought maybe there's something in bracket I am missing.