Skip to content

List module definitions in the sections side panel#2760

Merged
aleDsz merged 16 commits into
mainfrom
ale-sections-modules
Aug 23, 2024
Merged

List module definitions in the sections side panel#2760
aleDsz merged 16 commits into
mainfrom
ale-sections-modules

Conversation

@aleDsz

@aleDsz aleDsz commented Aug 22, 2024

Copy link
Copy Markdown
Member
Kooha-2024-08-23-18-01-10.mp4

@aleDsz aleDsz self-assigned this Aug 22, 2024
@github-actions

github-actions Bot commented Aug 22, 2024

Copy link
Copy Markdown

Uffizzi Preview deployment-55475 was deleted.

Comment thread lib/livebook/runtime/evaluator.ex Outdated
Comment thread lib/livebook/runtime/evaluator.ex Outdated
Comment thread lib/livebook_web/live/session_live.ex Outdated
Comment thread lib/livebook_web/live/session_live/render.ex Outdated
Comment thread assets/js/hooks/session.js Outdated
Comment thread lib/livebook_web/live/session_live/render.ex Outdated
Comment thread test/livebook_web/live/session_live_test.exs Outdated
Comment thread lib/livebook_web/live/session_live/render.ex Outdated
Comment thread lib/livebook_web/live/session_live/render.ex Outdated
Comment thread assets/js/hooks/session.js Outdated
@jonatanklosko jonatanklosko changed the title Show which modules each section defines under the Sections pane in the sidebar List module definitions in the sections side panel Aug 23, 2024
Comment thread lib/livebook/runtime/evaluator.ex Outdated
Comment thread lib/livebook_web/live/session_live/render.ex Outdated
Comment thread lib/livebook/intellisense/docs.ex Outdated

@josevalim josevalim left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Se no longer need to change the intellisense module since we won’t need to pass byte code, and then we can ship it!!!

@aleDsz aleDsz merged commit ad0db18 into main Aug 23, 2024
@jonatanklosko jonatanklosko deleted the ale-sections-modules branch August 24, 2024 05:16
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.

3 participants