fix name back to chat, fix some spacing, and jupyter "close and halt" shortcut

Author: williamstein

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);

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;
   };

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;
 

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: {

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: {