diff --git a/etc/MiniGUI.cfg b/etc/MiniGUI.cfg
index 09efbdc0..c2d8d3ae 100644
--- a/etc/MiniGUI.cfg
+++ b/etc/MiniGUI.cfg
@@ -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