View Revisions: Note 126234

Summary 0037463: Double buffering seems not to be working on windows