Merge branch 'aaaaa2' into codemirror-savq

.github/workflows/Bundle.yml

@@ -19,6 +19,7 @@ concurrency:
 jobs:
     trigger:
         runs-on: ubuntu-latest
+        timeout-minutes: 20
         steps:
             - uses: actions/checkout@v4
               # We use that PAT token instead of GITHUB_TOKEN because we are triggering another github action on the 'release' event.

.github/workflows/Test.yml

@@ -34,7 +34,7 @@ jobs:
             fail-fast: false
             matrix:
                 # We test quite a lot of versions because we do some OS and version specific things unfortunately
-                julia-version: ["1.6", "1.10", "~1.11.0-0"] #, "nightly"] # "~1.12.0-0"]
+                julia-version: ["1.6", "1.10", "1.11"] #, "nightly"] # "~1.12.0-0"]
                 os: [ubuntu-latest, macOS-latest, windows-latest]
 
         steps:

.github/workflows/TryThisPR.yml

@@ -9,22 +9,37 @@ jobs:
     runs-on: ubuntu-latest
     continue-on-error: true
     steps:
+
+      - uses: denoland/setup-deno@v1
+        with:
+          deno-version: "1.16.1"
       - uses: actions/github-script@v5
         with:
           github-token: ${{secrets.GITHUB_TOKEN}}
           script: |
-            github.rest.issues.createComment({
-              issue_number: context.issue.number,
-              owner: context.repo.owner,
-              repo: context.repo.repo,
-              body: `
-              ## Try this Pull Request!
-              Open Julia and type:
-              \`\`\`jl
-              julia> import Pkg
-              julia> Pkg.activate(temp=true)
-              julia> Pkg.add(url="${context.payload.pull_request.head.repo.html_url}", rev="${context.payload.pull_request.head.ref}")
-              julia> using ${context.payload.repository.name.replace(/\.jl$/,"")}
-              \`\`\`
-              `
-            })
+            require("fs").writeFileSync("context.json", JSON.stringify(context))
+  
+      - name: Generate comment
+        id: generate-comment
+        run: |
+          deno eval '
+          const context = JSON.parse(await Deno.readTextFile("context.json"));
+          const body = `
+          ## Try this Pull Request!
+          Open Julia and type:
+          \`\`\`jl
+          julia> import Pkg
+          julia> Pkg.activate(temp=true)
+          julia> Pkg.add(url="${context.payload.pull_request.head.repo.html_url}", rev="${context.payload.pull_request.head.ref}")
+          julia> using ${context.payload.repository.name.replace(/\.jl$/,"")}
+          \`\`\`
+          `
+          await Deno.writeTextFile("comment.txt", body);
+          '
+          
+      - uses: nefrob/[email protected]
+        with:
+            content: "comment.txt"
+            contentIsFilePath: "true"
+            regex: "jkhsdkjhasdfkjhawkejfbawkehfkajshdfkjahsdf"
+            token: ${{ secrets.GITHUB_TOKEN }}

Project.toml

@@ -2,7 +2,7 @@ name = "Pluto"
 uuid = "c3e4b0f8-55cb-11ea-2926-15256bba5781"
 license = "MIT"
 authors = ["Fons van der Plas <[email protected]>"]
-version = "0.19.46"
+version = "0.19.47"
 
 [deps]
 Base64 = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"

frontend/common/Binder.js

@@ -156,7 +156,10 @@ export const start_binder = async ({ setStatePromise, connect, launch_params })
         }
 
         let open_remotely = async (p1, p2) => {
-            const open_url = with_query_params(new URL("open", binder_session_url), { [p1]: p2 })
+            const open_url = with_query_params(new URL("open", binder_session_url), {
+                [p1]: p2,
+                execution_allowed: "true",
+            })
 
             console.log(`open ${p1}:`, open_url)
             return fetch(with_token(open_url), {

frontend/components/CellInput.js

@@ -594,7 +594,7 @@ export const CellInput = ({
                     rectangularSelection({
                         eventFilter: (e) => e.altKey && e.shiftKey && e.button == 0,
                     }),
-                    highlightSelectionMatches({ minSelectionLength: 2 }),
+                    highlightSelectionMatches({ minSelectionLength: 2, wholeWords: true }),
                     bracketMatching(),
                     docs_updater,
                     tab_help_plugin,

frontend/components/CellInput/pluto_autocomplete.js

@@ -404,7 +404,10 @@ const apply_completion = (view, completion, from, to) => {
         }
     }
 
-    view.dispatch({ changes: { from, to, insert }, annotations: autocomplete.pickedCompletion.of(completion) })
+    view.dispatch({
+        ...autocomplete.insertCompletionText(view.state, insert, from, to),
+        annotations: autocomplete.pickedCompletion.of(completion),
+    })
 }
 
 const special_symbols_completion = (/** @type {() => Promise<SpecialSymbols?>} */ request_special_symbols) => {