From 5cf3418c1528ce08425491251d367179fd1c5eae Mon Sep 17 00:00:00 2001
From: Vincent Wei <vincent@minigui.org>
Date: Sun, 15 Mar 2020 10:48:03 +0800
Subject: [PATCH] more comments

---
 etc/MiniGUI.cfg | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/etc/MiniGUI.cfg b/etc/MiniGUI.cfg
index c2d8d3ae..eec7d89a 100644
--- a/etc/MiniGUI.cfg
+++ b/etc/MiniGUI.cfg
@@ -73,6 +73,8 @@ device=/dev/dri/card0
 dpi=96
 
 # Whether double buffering is enabled.
+# Use `true` or `yes` for enabled, anything else for disabled.
+# Note that under compositing schema, double buffering is always enabled.
 # Since 5.0.0.
 double_buffering=true