omar 65b46f62ef 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!)

2018-07-31 17:28:18 +02:00

81 KiB

Raw Blame History

View Raw