DisplayServer (Linux): use libdrm

Which correctly detects current mode ( instead of preferred mode ) and supports refresh rate
2026-09-13 02:42:09 +02:00 · 2023-11-29 14:55:40 +08:00
parent 53922779ba
commit 67f4b991d7
10 changed files with 279 additions and 144 deletions
@@ -675,6 +675,14 @@
                "type": "path"
            }
        },
+        {
+            "long": "lib-drm",
+            "desc": "Used for fast resolution and refresh rate detection",
+            "remark": "Linux only",
+            "arg": {
+                "type": "path"
+            }
+        },
        {
            "long": "lib-gio",
            "desc": "Needed for values that are only stored GSettings",