nanogui: Thread: question about customized frame buffer driver