On 25.07.2018 12:39, Roman Iten wrote:
Hello,
On 07/20/2018 09:36 AM, Alexander Boettcher wrote:
If you earlier request the framebuffer dataspace, you will get an immediate visible window resize effect.
In [1] the framebuffer dataspace is requested in Genodefb::update_mode, which is called noticeable earlier than NotifyChange. The diagnostic warning log entry reflects the desired width and height with just a tiny delay to the mouse movement. But still, the window border only updates after the mouse pointer didn't move for around 2 seconds.
I guess maybe a fb.refresh(0,0,maxx,maxy) is missing ? (or use _clear_screen() which does it also.)
[1] https://github.com/rite/genode/commit/64b517533d36f9a6506025e942bd33ddf4e095...