{ if (wsProvider?.shouldConnect) { disableCollaboration() } else { setCollaborationMode() } }} customUi={customUi?.editorBar} collabLive={wsProvider?.shouldConnect} {collabMode} {validCode} iconOnly={width < EDITOR_BAR_WIDTH_THRESHOLD} on:collabPopup={() => (showCollabPopup = true)} {editor} {lang} on:createScriptFromInlineScript {websocketAlive} collabUsers={peers} kind={asKind(kind)} {template} {diffEditor} {args} {noHistory} {saveToWorkspace} > {#if !noSyncFromGithub && customUi?.editorBar?.useVsCode != false} {/if}