mirror of
https://github.com/VincentWei/MiniGUI.git
synced 2026-02-06 02:01:50 +08:00
add double_buffering key to drm section
This commit is contained in:
@@ -72,6 +72,10 @@ device=/dev/dri/card0
|
||||
# The default value is 96.
|
||||
dpi=96
|
||||
|
||||
# Whether double buffering is enabled.
|
||||
# Since 5.0.0.
|
||||
double_buffering=true
|
||||
|
||||
# The filename of the shared library for the external driver.
|
||||
# The equivalent environment variable: MG_GAL_DRM_DRIVER
|
||||
exdriver=libhidrmdrivers.so.0
|
||||
|
||||
Reference in New Issue
Block a user