It would be helpful if we can change the window size of the app! Sometimes the font is too small, and when I tried to make it bigger through ctrl-plus-a-plus, it shows too few content. So, I would like to change the size of the window! -tc