minor fixes

diff --git a/screen.py b/screen.py
index e161fcc74521c291a86363c642da57c9f6872b9e..9942e9838296e9a8eecef3d0b8c9475b81d19f8f 100644 (file)
--- a/screen.py
+++ b/screen.py
@@ -18,7 +18,6 @@
 
 import re, subprocess
 from enum import Enum
-from functools import total_ordering
 
 ## utility functions
 
@@ -241,7 +240,7 @@ class ScreenSituation:
         internalRes = self.internalResolutions()
         externalRes = self.externalResolutions()
         assert externalRes is not None
-        return sorted(set(res for res in externalRes if res in internalRes), key=lambda r: -r.pixelCount())
+        return sorted(set(externalRes).intersection(internalRes), key=lambda r: -r.pixelCount())
     
     # compute the xrandr call
     def forXrandr(self, setup):