Is your feature request related to a problem? Please describe.
Currently, users can only accept 1 edit location at a time. Suppose that the locator suggested 2 correct edit locations: A and B. The User chooses to work on location A: request for A's edit solution, modify then accept it. The extension will detect this edit, automatically request for edit location recommendation again, and flush the correct location B from the sidebar (there's no guarantee that location B will be recommended again).
Describe the solution you'd like
Add a pin button to each of the recommended locations. Once pinned, this location will not be flushed out by future edit location suggestion refreshing.
Things should be addressed for this feature
- New button for each recommended location: A hollow pushpin represents “unpinned,” while a solid pushpin represents “pinned.”
- Pinned location should also update the line number during edit;
- If the recommended location neighbours the Pinned location, they may require a merge;
- A pinned location should be removed if an edit is detected on that location.
Additional context
- When no location is pinned:
Is your feature request related to a problem? Please describe.
Currently, users can only accept 1 edit location at a time. Suppose that the locator suggested 2 correct edit locations: A and B. The User chooses to work on location A: request for A's edit solution, modify then accept it. The extension will detect this edit, automatically request for edit location recommendation again, and flush the correct location B from the sidebar (there's no guarantee that location B will be recommended again).
Describe the solution you'd like
Add a pin button to each of the recommended locations. Once pinned, this location will not be flushed out by future edit location suggestion refreshing.
Things should be addressed for this feature
Additional context