Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

add Sidebar #257

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

add Sidebar #257

wants to merge 2 commits into from

Conversation

aplavin
Copy link

@aplavin aplavin commented May 21, 2023

Add a simple stateless sidebar that can be pin to either corner or to either side of the screen.

image

@github-actions
Copy link

Try this Pull Request!

Open Julia and type:

julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/aplavin/PlutoUI.jl", rev="main")
julia> using PlutoUI

Or run this code in your browser: Run with binder

@aplavin
Copy link
Author

aplavin commented Jun 1, 2023

bump

@fonsp
Copy link
Member

fonsp commented Jun 6, 2023

Hi @aplavin !

I'm really sorry, but I don't have the capacity to work on this PR until at least October :(

The problem is that this is quite a big feature with lots of overlap with other features. It might overlap with the live docs, Edit or Run, recently deleted cells, Ctrl+S and features we want to add in the future. A second problem is small screens, where a floating UI can take over the whole screen.

To add it to PlutoUI, i would like to find a cool solution to these problems. Maybe it needs integration into Pluto's UI directly. It's definitely useful right now in an experimental state, but PlutoUI already has a backlog of bugfixes and unfinished experimental features that I don't want to add to.

I think the best way forward is to register this as a new package! I think small packages are great, other language ecosystems use them all the time :)

Again apologies that I don't have time! Open source can be tough

@aplavin
Copy link
Author

aplavin commented Jun 6, 2023

No problems, included sidebar into https://gitlab.com/aplavin/PlutoUIExtra.jl.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants