tree c9f0990d91d5d27e099c9dd1143248bef912d1cb
parent 7e1678ff00cd9ad523a412b1ae16f49c04401f3a
author omar <omarcornut@gmail.com> 1533050802 +0200
committer omar <omarcornut@gmail.com> 1533050898 +0200

Fixed PushID() from keeping alive the new ID Stack top value (if a previously active widget shared the ID it would be erroneously kept alive) (drag and drop demo could soft-lock the UI until pressing Escape!)