chore: remove autoCancel

It will be deprecated in leanprover/vscode-lean4#746.

Author: Vtec234

widget/src/RefreshComponent.tsx

@@ -37,7 +37,7 @@ export default function RefreshComponent(props: RefreshComponentProps): JSX.Elem
     }
     const ac = new AbortController()
     rs.call<RefreshComponentProps, null>('ProofWidgets.RefreshComponent.monitor', props,
-      { autoCancel: true, abortSignal: ac.signal })
+      { abortSignal: ac.signal })
     // Repeatedly await updates to the display
     loop(0)
     return () => {

widget/src/ofRpcMethod.tsx

@@ -25,7 +25,7 @@ export default React.memo((props: Props) => {
     } else {
       const ac = new AbortController()
       const res = rs.call<Props, Html>(RPC_METHOD, props,
-        { autoCancel: true, abortSignal: ac.signal })
+        { abortSignal: ac.signal })
       cancelRef.current = { fn: () => ac.abort() }
       return res
     }