Fix window size / viewport with glwt