stuartmorgan 6dc4d6ca09
Add refresh callback to GLFW shell (#9280)
In some cases, the window needs to be redrawn without a resize. This
adds a callback for that case to trigger a repaint.

Since there's no embedding API for repainting, trigger it with a window
metrics event using the current window size.

Fixes https://github.com/flutter/flutter/issues/30731
2019-06-11 16:16:14 -07:00
..
2019-04-12 14:23:13 -07:00
2018-11-07 12:24:35 -08:00