-
-
Notifications
You must be signed in to change notification settings - Fork 297
Issues: fonsp/Pluto.jl
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Updating notebook packages without running it
backend
Concerning the julia server and runtime
enhancement
New feature or request
frontend
Concerning the HTML editor
package manager
Pluto's built-in package manager
#3079
opened Oct 25, 2024 by
fonsp
Support Concerning the julia server and runtime
enhancement
New feature or request
good first issue
Good for newcomers
cpu-target
in CompilerOptions
backend
#2950
opened Jul 11, 2024 by
sjkelly
Autocomplete: show favourite emoji and latex symbols on top
autocomplete
<TAB>
enhancement
New feature or request
frontend
Concerning the HTML editor
#2878
opened Mar 29, 2024 by
fonsp
Feature request: HTML Notebook Archive
enhancement
New feature or request
#2771
opened Jan 4, 2024 by
pankgeorg
Live Docs: show package defining a function
backend
Concerning the julia server and runtime
enhancement
New feature or request
frontend
Concerning the HTML editor
good first issue
Good for newcomers
Live Docs
The Live Docs panel on the bottom right of the editor
#2737
opened Dec 6, 2023 by
fonsp
Allow package updates in "safe preview"
enhancement
New feature or request
package manager
Pluto's built-in package manager
#2705
opened Nov 7, 2023 by
aplavin
Preserve cell order in Safe preview
backend
Concerning the julia server and runtime
enhancement
New feature or request
good first issue
Good for newcomers
reactivity
The Pluto programming paradigm
wide audience
This affects a wide audience of Pluto users and future Pluto users
#2691
opened Oct 30, 2023 by
fonsp
Surface reason for git authentication failures
enhancement
New feature or request
package manager
Pluto's built-in package manager
#2625
opened Aug 3, 2023 by
BioTurboNick
object.<TAB> should list methods anyway
enhancement
New feature or request
#2609
opened Jul 16, 2023 by
fonsp
PlutoPkg ingestion of New feature or request
package manager
Pluto's built-in package manager
LocalPreferences.toml
/Preferences.jl
enhancement
#2565
opened May 16, 2023 by
pankgeorg
HTML exports: load image data with separate requests
enhancement
New feature or request
frontend
Concerning the HTML editor
HTTP/WS
The connection between backend and frontend
performance
publishing
Notebooks as static documents on the web
#2543
opened Apr 26, 2023 by
fonsp
✨ Use AI to explain code
documentation
enhancement
New feature or request
frontend
Concerning the HTML editor
Live Docs
The Live Docs panel on the bottom right of the editor
user request
Requested using the feedback form inside Pluto notebooks
Limit screen size during recording
enhancement
New feature or request
frontend
Concerning the HTML editor
#2515
opened Mar 28, 2023 by
fonsp
Show hint when you click on a global without Ctrl down
documentation
enhancement
New feature or request
frontend
Concerning the HTML editor
#2449
opened Jan 18, 2023 by
fonsp
Loading…
2 tasks
Switch to @msgpack/msgpack-javascript
enhancement
New feature or request
frontend
Concerning the HTML editor
good first issue
Good for newcomers
performance
#2394
opened Nov 25, 2022 by
fonsp
💖 Autocomplete automatically on type
autocomplete
<TAB>
enhancement
New feature or request
frontend
Concerning the HTML editor
user request
Requested using the feedback form inside Pluto notebooks
wide audience
This affects a wide audience of Pluto users and future Pluto users
#2389
opened Nov 23, 2022 by
fonsp
Loading…
5 tasks done
Feature request: Pointer in Pluto recordings
enhancement
New feature or request
frontend
Concerning the HTML editor
#2353
opened Nov 3, 2022 by
briochemc
WIP: Eventually consistent multiplayer 🤝
backend
Concerning the julia server and runtime
enhancement
New feature or request
frontend
Concerning the HTML editor
HTTP/WS
The connection between backend and frontend
online deployment
About deploying to binder, heroku, self-hosted
Advanced pkg manager
backend
Concerning the julia server and runtime
enhancement
New feature or request
frontend
Concerning the HTML editor
package manager
Pluto's built-in package manager
Feature request: Show status information about running notebooks
enhancement
New feature or request
#2237
opened Aug 1, 2022 by
BioTurboNick
Automatically shut down inactive notebooks
enhancement
New feature or request
#2236
opened Aug 1, 2022 by
BioTurboNick
Automatic refactoring: changing variable names
enhancement
New feature or request
#2209
opened Jul 12, 2022 by
CameronBieganek
Integration with New feature or request
online deployment
About deploying to binder, heroku, self-hosted
AbstractPlutoDingetjes.Bonds.validate_value
enhancement
#1696
opened Nov 27, 2021 by
fonsp
Allow changes while waiting for binder backend
enhancement
New feature or request
frontend
Concerning the HTML editor
publishing
Notebooks as static documents on the web
#1694
opened Nov 27, 2021 by
fonsp
Pluto package manager & Pkg.develop
enhancement
New feature or request
package manager
Pluto's built-in package manager
#1304
opened Jul 10, 2021 by
aplavin
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.