These are chat archives for jheinen/GR.jl

28th
Jun 2016
DeadbraiN
@tmptrash
Jun 28 2016 22:50
Hello guys!
I have a question regarded window size in pixels.
Is it possible to change default size? Or how can i handle window resize?
Thanks.
This is a screen shot: