View Revisions: Note 124461

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