xrandr lists a DP1 connector I don't actually have

diff --git a/external_screen.py b/external_screen.py
index 5474685d1f06ad7b26b646c2e42f1ee3b52120d3..9d70b82ba649956ee5d50fa317e6d1046bad32d8 100755 (executable)
--- a/external_screen.py
+++ b/external_screen.py
@@ -43,7 +43,7 @@ def res2user(res):
 
 # Check screen setup
 internalName = "LVDS1"
-externalNames = ["HDMI1", "VGA1"]
+externalNames = ["HDMI1", "DP1", "VGA1"]
 connectors = getXrandrInformation()
 internalResolutions = connectors[internalName] # there must be a screen assoicated to the internal connector
 externalName = None # *the* external connector which is actually used