It looks like mono calls the OnWindowResize event multiple times when you minimize. This patch just short circutis the event handler when it is called multiple times in a row, which fixes the bug.
It looks like mono calls the OnWindowResize event multiple times when you minimize. This patch just short circutis the event handler when it is called multiple times in a row, which fixes the bug.