The window’s close callback gets called just fine when I use the window decorations to close it, but if I set a hotkey within the key callback which executes glfwSetWindowShouldClose(window, GLFW_TRUE), the close callback is never executed. This seems inconsistent, and limits the usefulness of the close callback for me. Is this by design?
Verified on 3.2.1 and github master HEAD (efda4afb495be4779c152a96f7b3f52c54cbff32).
I can post a fairly minimal reproducer, if desired.