From 3c287ad66d84bf4fbd6f626f1590fdd82610762b Mon Sep 17 00:00:00 2001
From: bob <bcz@cs.brown.edu>
Date: Tue, 18 Feb 2020 13:28:24 -0500
Subject: text menu goes away when text box is closed now.

---
 src/client/util/RichTextMenu.tsx | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/client/util/RichTextMenu.tsx b/src/client/util/RichTextMenu.tsx
index 4fe0d2662..460f1fa37 100644
--- a/src/client/util/RichTextMenu.tsx
+++ b/src/client/util/RichTextMenu.tsx
@@ -275,6 +275,7 @@ export default class RichTextMenu extends AntimodeMenu {
     }
 
     destroy() {
+        this.fadeOut(true);
     }
 
     @action
-- 
cgit v1.2.3-70-g09d2