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.

Sign up for GitHub

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

Jump to bottom

Graph execution - play button. #7990

Closed
Tracked by #7685
farmaazon opened this issue Oct 6, 2023 · 3 comments · Fixed by #8037
Closed
Tracked by #7685

Graph execution - play button. #7990

farmaazon opened this issue Oct 6, 2023 · 3 comments · Fixed by #8037
Assignees
@MichaelMauderer
Labels
-gui d-intermediate Difficulty: some prior knowledge required p-medium Should be completed in the next few sprints

Comments

@farmaazon
Copy link
Contributor

No description provided.

@github-project-automation github-project-automation bot moved this to ❓New in Issues Board Oct 6, 2023
@farmaazon farmaazon mentioned this issue Oct 6, 2023
Closed
@farmaazon farmaazon added d-intermediate Difficulty: some prior knowledge required p-medium Should be completed in the next few sprints -gui labels Oct 6, 2023
@MichaelMauderer MichaelMauderer moved this from ❓New to 🔧 Implementation in Issues Board Oct 6, 2023
@enso-bot
Copy link

enso-bot bot commented Oct 6, 2023

Michael Mauderer reports a new STANDUP for today (2023-10-06):

Progress: Started work on integrating execution mode selector and play button with the language server API. Ran into an issue with the UI elements not reacting to mouse click events in Chrome (but works in Firefox). Investigating. It should be finished by 2023-10-11.

Next Day: Next day I will be working on the #7990 task. Continue on task.

@enso-bot
Copy link

enso-bot bot commented Oct 10, 2023

Michael Mauderer reports a new STANDUP for today (2023-10-10):

Progress: Finished code and re-based to develop. While testing, noticed an issue with LS integration related to acquiring capabilities to modify the execution context. It should be finished by 2023-10-11.

Next Day: Next day I will be working on the #7990 task. Fix issue and open PR.

This was referenced Oct 12, 2023
Merged
Closed
@enso-bot
Copy link

enso-bot bot commented Oct 12, 2023

Michael Mauderer reports a new STANDUP for yesterday (2023-10-11):

Progress: Opened draft PR. Awaiting resolution of #8038 before merging. It should be finished by 2023-10-11.

Next Day: Next day I will be working on the #8015 task. Start next task.

@MichaelMauderer MichaelMauderer moved this from 🔧 Implementation to 👁️ Code review in Issues Board Oct 13, 2023
mergify bot pushed a commit that referenced this issue Oct 25, 2023
@MichaelMauderer
Hook up Play Button and Execution Mode selector to Language Server. (#…
53ecaf4 
…8037)

Implements #7990
@MichaelMauderer MichaelMauderer moved this from 👁️ Code review to 🟢 Accepted in Issues Board Oct 27, 2023
@farmaazon farmaazon moved this from 🟢 Accepted to 🗄️ Archived in Issues Board Oct 31, 2023
@farmaazon farmaazon linked a pull request Oct 31, 2023 that will close this issue
Hook up Play Button and Execution Mode selector to Language Server. #8037
Merged
5 tasks
@github-project-automation github-project-automation bot moved this from 🗄️ Archived to 🟢 Accepted in Issues Board Oct 31, 2023
@farmaazon farmaazon moved this from 🟢 Accepted to 🗄️ Archived in Issues Board Oct 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@MichaelMauderer MichaelMauderer

Labels
-gui d-intermediate Difficulty: some prior knowledge required p-medium Should be completed in the next few sprints
Projects
Issues Board
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Hook up Play Button and Execution Mode selector to Language Server. enso-org/enso
2 participants
@MichaelMauderer @farmaazon