From 57d8eb5237e90181ed83bf7df916e26fc682b671 Mon Sep 17 00:00:00 2001
From: Vincent Wei <vincent@minigui.org>
Date: Sun, 16 Jun 2019 17:35:03 +0800
Subject: [PATCH] section for enhanced random engine

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

diff --git a/etc/MiniGUI.cfg b/etc/MiniGUI.cfg
index f701d924..83c4bfbe 100644
--- a/etc/MiniGUI.cfg
+++ b/etc/MiniGUI.cfg
@@ -79,6 +79,13 @@ def_bgcolor=0x00FF00
 double_buffer=enable
 #}}
 
+#{{ifdef _MGIAL_RANDOM
+[random]
+logfile=/dev/null
+eventtypes=mouse-keyboard
+maxkeycode=128
+#}}
+
 # The first system font must be a logical font using RBF device font.
 # NOTE that the maxiaml number of system logfonts is 6. You should not
 # set `font_number` in this section to be a number larger than 6.