Fix $ATTR() description in dgamelaunch.conf

A fourteen year-old error. I even fixed it in dgamelaunch.conf.orig

diff --git a/examples/dgamelaunch.conf b/examples/dgamelaunch.conf
index 00dca209e50b3e607aaadff73bab3157feff85ad..c409530e3ae8ca9e5c89ce7e9193615ef8febaac 100644 (file)
--- a/examples/dgamelaunch.conf
+++ b/examples/dgamelaunch.conf
@@ -225,7 +225,7 @@ menu["mainmenu_user"] {
 #        params can be either number (to set the text color),
 #       one, or any of "b" (bold), "s" (standout), "u" (underline),
 #       "r" (reverse) or "d" (dim),
-#       or both color number and attribute characters, separated by colon.
+#       or both color number and attribute characters, separated by semicolon.
 #       Empty param resets color and attributes to default.
         bannerfile = "(:menudir:)/dgl_menu_main_user.txt"
 # after which cursor is moved to this location

diff --git a/examples/dgamelaunch.conf.orig b/examples/dgamelaunch.conf.orig
index 187d52659b10420a2b08cbef9e7b38618cc958f2..b54540772b34f7aa20cb604f2aacfadabf51d57b 100644 (file)
--- a/examples/dgamelaunch.conf.orig
+++ b/examples/dgamelaunch.conf.orig
@@ -225,7 +225,7 @@ menu["mainmenu_user"] {
 #        params can be either number (to set the text color),
 #       one, or any of "b" (bold), "s" (standout), "u" (underline),
 #       "r" (reverse) or "d" (dim),
-#       or both color number and attribute characters, separated by colon.
+#       or both color number and attribute characters, separated by semicolon.
 #       Empty param resets color and attributes to default.
         bannerfile = "dgl_menu_main_user.txt"
 # after which cursor is moved to this location