tree cc12b4eed55d05bf57d3d50ff763bdcff10c071e
parent 7bbf8f2ab09976d674a56c49dfed22d850908c8a
author ocornut <omarcornut@gmail.com> 1626715278 +0200
committer ocornut <omarcornut@gmail.com> 1629303991 +0200

Expose PushDisabled() in public API. Add to demo.