(core) Disable tips during tutorials

Summary: Behavioral tips shouldn't be shown during tutorials.

Test Plan: Browser test.

Reviewers: jarek

Reviewed By: jarek

Differential Revision: https://phab.getgrist.com/D3842

app/client/components/GristDoc.ts

@@ -332,6 +332,10 @@ export class GristDoc extends DisposableWithEvents {
       }
     }));
 
+    if (this.docModel.isTutorial()) {
+      this.behavioralPromptsManager.disable();
+    }
+
     let isStartingTourOrTutorial = false;
     this.autoDispose(subscribe(urlState().state, async (_use, state) => {
       // Only start a tour or tutorial when the full interface is showing, i.e. not when in