Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Bug fix: ui.scope(…) is now equivalent to ui.allocate_space(…) WRT IDs
Before a disabled and enabled button would leave the parent ui in different states, which lead to a bug where a slider drag could be aborted if it caused a button before it to switch between enabled and disabled. Repro: dragging slider in "Manual Layout Test"
- Loading branch information