search

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes
http://hazel.org/
MIT License
684 stars 45 forks source link

Title Editor #1316

Open russell-rozenbaum opened 2 weeks ago

russell-rozenbaum commented 2 weeks ago

I fixed any bugs I had at Office Hours yesterday. The title editor functions mostly as I'd hope. Where users can go into instructor mode, and then edit the title, and confirm or cancel their changes. These changes propagate through the state and show up in any exercise exports made. The only problem may be the title is not saved if the user refreshes the page.

cyrus- commented 1 week ago

@russell-rozenbaum did you intend to close this issue?

russell-rozenbaum commented 1 week ago

I've added more changes beyond just the title editor to this branch, to be exact I added some implementations to adding and deleting buggy implementations, so I wasn't sure whether to move those commits to a different branch or finish them out fully before opening this pull request

russell-rozenbaum commented 1 week ago

Commit [968fe1c] is the one I'd like to merge. The last 2 commits add the ability to add/delete buggy implementations, which I'll start on another branch. The problem with the current version is a bug that occurs when adding a wrong implementation (which is itself an editor) and then I believe the program does not know where to put the cursor on page reload since the editors are reset (the one previously added, now deleted on page reload), and results in an infinite loading screen. Besides this, I still want to add the ability to edit the hints associated with buggy implementations, which right now defaults to "no hint available".