View Revisions: Note 124476

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