Changeset 2e0a2e7 in mainline for tools/export.sh

Timestamp:

2020-11-19T11:20:49Z (5 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

06d0c81

Parents:

140e21a

git-author:

Jiri Svoboda <jiri@…> (2020-11-18 18:20:38)

git-committer:

Jiri Svoboda <jiri@…> (2020-11-19 11:20:49)

Message:

Repaint desktop when window is brought to front

Libgui used to repaint the entire window when it received focus so this
went unnoticed. Libui currently only repaints the window decoration.
Repainting the entire desktop is probably not necessary, but I am
mimicking the other places where we do this (e.g. moving window).
All of these cases can be revisited and, perhaps, optimized to
repaint just a part of the desktop.

(No files)