On Saturday, 15 April 2023 at 00:42:17 UTC, Mike Parker wrote: > I also suggest you visit the issues page for bindbc-imgui and > file an issue there: I meant to delete this line. I've filed the issue: https://github.com/BindBC/bindbc-imgui/issues/1