View Revisions: Note 126216

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