View Revisions: Note 126271

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