The withMappedBuffer helper function can be unsafe if the inner changes the VAO/VBO bindings and either forgets to change it back or gets interrupted by an exception.
withMappedBuffer could query the current buffer object at the beginning and restore it inside its finally block before calling unmapBuffer.
I'm not sure if there is a good reason for not doing this, but I thought I at least suggest this change here.
The withMappedBuffer helper function can be unsafe if the inner changes the VAO/VBO bindings and either forgets to change it back or gets interrupted by an exception.
withMappedBuffer could query the current buffer object at the beginning and restore it inside its finally block before calling unmapBuffer.
I'm not sure if there is a good reason for not doing this, but I thought I at least suggest this change here.