-
-
Notifications
You must be signed in to change notification settings - Fork 285
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
Show execution order of cells #1326
Comments
Which event would you want to teigger the show of the execution order? Also how did you think about showing it? |
My first idea was to show cell numbers on the left side of each cell (analogue to Jupyter, but maybe a bit nicer) when Ctrl is pressed. Maybe with a delay for hiding them - when you release Ctrl the cell numbers are still shown for e.g. 30 seconds. But other ideas are welcome! |
Is there any current way to see dependency order in the Pluto UI? If not, I'd like to push harder on this as it seems to overtly break the "simple - no hidden workspace state; friendly UI" principle of Pluto.jl. Perhaps the order can be inferred by an astute reader, but that seems neither simple nor friendly. Have we considered showing numbers when execution is non-sequential? That would go a long way towards removing this hidden state, while minimizing unnecessary noise. I'm curious if there's any design reason for not including cell numbering currently. Does Pluto have any sense of in-notebook "configuration"? If so, something like the following might enable both the clean & the clear use cases:
EDIT: included suggestions |
It would be great to optionally show the execution order of cells in Pluto.
Use cases:
In order not to create too much "noise" in the notebook, the execution order could only be shown when hitting the Ctrl key (analogue to #1144).
The cell order information is already available in the Pluto frontend (see #891), therefore this requires only enhancements on the JS side.
The text was updated successfully, but these errors were encountered: