From 0e1b0939f5958b1d105096ce498851f29ab0a809 Mon Sep 17 00:00:00 2001
From: Satyam Bansal <sbansal1999@gmail.com>
Date: Thu, 18 May 2023 01:46:02 +0530
Subject: [PATCH] message_formatting: Add a row for "---" in message formatting
 tips.

---
 web/src/info_overlay.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/web/src/info_overlay.js b/web/src/info_overlay.js
index e70fe42af5..0fef222732 100644
--- a/web/src/info_overlay.js
+++ b/web/src/info_overlay.js
@@ -171,6 +171,9 @@ This text won't be visible until the user clicks.
 \\int_{0}^{1} f(x) dx
 \`\`\``,
     },
+    {
+        markdown: "---",
+    },
     {
         note_html: $t_html(
             {