View Revisions: Note 13908

Summary 0005510: Avoid changing desktop resolution on Linux (as on Windows)