From 18659faa850ee1a2187fd4ba9ddc170ca5c4a697 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Fri, 21 Jan 2022 14:49:24 +0000
Subject: [PATCH] Merge docs for 'Merge remote-tracking branch 'github/master'
 into master'

---
 docs/Full.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/Full.md b/docs/Full.md
index f9c49c28..81ae0213 100644
--- a/docs/Full.md
+++ b/docs/Full.md
@@ -1049,7 +1049,7 @@ See [`dc_build_embed()`](https://github.com/replaceitem/carpet-discarpet/blob/ma
 ```py
 __config() -> {'scope'->'global','bot'->'BOT','stay_loaded'->false};
 
-global_chat = dc_channel_from_id('YOUR CHANNEL ID');
+global_chat = dc_channel_from_id('789877643070799902');
 
 global_rec = 0;
 
@@ -1061,6 +1061,8 @@ __on_discord_message(message) -> (
     for(player('all'),
         col = 'd'; // this could be replaced with a custom way of fetching user color
         if(col == null,col = 'w');
+        col = dc_get_user_color(message~'user',message~'server');
+        if(col==null,col='#FFFFFF');
         print(_,format(str('%s [%s]',col,dc_get_display_name(message~'user',message~'server')))+format(str('w  %s',message~'readable_content')))
     );
 );