From dbb5bd8b5e242dbdef5eb02cf8b8614ba250b75f Mon Sep 17 00:00:00 2001
From: William Stein <wstein@sagemath.com>
Date: Sat, 5 Oct 2024 04:37:41 +0000
Subject: [PATCH] fix name back to chat, fix some spacing, and jupyter "close
 and halt" shortcut

---
 src/packages/frontend/chat/chat-log.tsx                      | 2 +-
 src/packages/frontend/chat/video/video-chat.ts               | 1 -
 src/packages/frontend/frame-editors/chat-editor/editor.ts    | 2 +-
 src/packages/frontend/frame-editors/jupyter-editor/editor.ts | 1 +
 src/packages/frontend/i18n/common.ts                         | 2 +-
 5 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/packages/frontend/chat/chat-log.tsx b/src/packages/frontend/chat/chat-log.tsx
index 3d005361cf..535675ea61 100644
--- a/src/packages/frontend/chat/chat-log.tsx
+++ b/src/packages/frontend/chat/chat-log.tsx
@@ -155,7 +155,7 @@ export function ChatLog({
     <>
       {visibleHashtags.size > 0 && (
         <HashtagBar
-          style={{ margin: "5px 0" }}
+          style={{ margin: "3px 0" }}
           actions={{
             set_hashtag_state: (tag, state) => {
               actions.setHashtagState(tag, state);
diff --git a/src/packages/frontend/chat/video/video-chat.ts b/src/packages/frontend/chat/video/video-chat.ts
index f9ddd70afb..515d2d8f60 100644
--- a/src/packages/frontend/chat/video/video-chat.ts
+++ b/src/packages/frontend/chat/video/video-chat.ts
@@ -26,7 +26,6 @@ export class VideoChat {
   }
 
   close = () => {
-    console.log("close video chat!");
     this.closeVideoChatWindow();
     delete this.intervalId;
   };
diff --git a/src/packages/frontend/frame-editors/chat-editor/editor.ts b/src/packages/frontend/frame-editors/chat-editor/editor.ts
index ee77c45311..b8d96d138a 100644
--- a/src/packages/frontend/frame-editors/chat-editor/editor.ts
+++ b/src/packages/frontend/frame-editors/chat-editor/editor.ts
@@ -57,8 +57,8 @@ const chatroom: EditorDescription = {
     "redo",
     "decrease_font_size",
     "increase_font_size",
+    "scrollToTop",
     "scrollToBottom",
-    "videoChat",
   ]),
 } as const;
 
diff --git a/src/packages/frontend/frame-editors/jupyter-editor/editor.ts b/src/packages/frontend/frame-editors/jupyter-editor/editor.ts
index 34f2bb579d..027fd65ec4 100644
--- a/src/packages/frontend/frame-editors/jupyter-editor/editor.ts
+++ b/src/packages/frontend/frame-editors/jupyter-editor/editor.ts
@@ -71,6 +71,7 @@ const jupyter_cell_notebook: EditorDescription = {
     "jupyter-cell-format",
     "jupyter-cell-toolbar",
     "jupyter-nbgrader validate",
+    "halt_jupyter",
   ]),
   customizeCommands: {
     guide: {
diff --git a/src/packages/frontend/i18n/common.ts b/src/packages/frontend/i18n/common.ts
index 015f0c3fdf..ee3d5a838f 100644
--- a/src/packages/frontend/i18n/common.ts
+++ b/src/packages/frontend/i18n/common.ts
@@ -390,7 +390,7 @@ export const labels = defineMessages({
   },
   chat: {
     id: "labels.chat",
-    defaultMessage: "Side Chat",
+    defaultMessage: "Chat",
     description: "Short label on a button to open a chatroom",
   },
   created: {