port toc widget button

src/public/app/components/app_context.ts

@@ -312,6 +312,9 @@ type EventMappings = {
     showHighlightsListWidget: {
         noteId: string;
     };
+    showTocWidget: {
+        noteId: string;
+    };
     showSearchError: {
         error: string;
     };
@@ -350,9 +353,6 @@ type EventMappings = {
     refreshNoteList: {
         noteId: string;
     };
-    showToc: {
-        noteId: string;
-    };
     noteTypeMimeChanged: { noteId: string };
     zenModeChanged: { isEnabled: boolean };
 };