Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Rectangle select: scrolling tweak#3388

Merged
fonsp merged 1 commit intomainfrom
rectangel-select-tweak
Oct 13, 2025
Merged

Rectangle select: scrolling tweak#3388
fonsp merged 1 commit intomainfrom
rectangel-select-tweak

Conversation

@fonsp
Copy link
Member

@fonsp fonsp commented Oct 13, 2025 •
edited by github-actions bot
Loading

Try this Pull Request!

Open Julia and type:

julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/fonsp/Pluto.jl", rev="rectangel-select-tweak")
julia> using Pluto

@fonsp fonsp added the frontend Concerning the HTML editor label Oct 13, 2025
@fonsp fonsp merged commit f0457fa into main Oct 13, 2025
7 checks passed
@fonsp fonsp deleted the rectangel-select-tweak branch October 13, 2025 21:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

frontend Concerning the HTML editor

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@fonsp

Comments