Gave name of thread in ThreadManager.display()
Experimental use of mapBufferRange in RawGLBuffer.map()