Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixes a bug in the observerHeightPref where the Preference would display a stale value after that value was changed by other UI.
- Loading branch information