Place the cursor at the end of the error when block on error mode is active #963

rtetley · 2024-12-11T10:34:46Z

Closes #952

…r is active Until now, the cursor remained at the last correctly executed sentence.

gares · 2024-12-11T12:29:11Z

From the patch I can't tell if the error range is the range of the sentence (that you color with a red fading bg), or the error you underline.

I think the optimum would be the latter. Eg

Definition foo := not_existent 3.

should place my cursor at | and underline ^:

Definition foo := not_existent| 3.
                  ^^^^^^^^^^^^

and not

Definition foo := not_existent 3.|
                  ^^^^^^^^^^^^

Sometimes the error range does not span the whole line. In that case, place the cursor at the end of the error range not the line.

feat: the cursor is placed at the end of the error when block on erro…

65084c3

…r is active Until now, the cursor remained at the last correctly executed sentence.

feat: when possible, place the cursor at the end of the error range

e8f07ab

Sometimes the error range does not span the whole line. In that case, place the cursor at the end of the error range not the line.

rtetley merged commit ca8209f into main Dec 11, 2024
27 of 28 checks passed

rtetley deleted the error-cursor-position branch December 13, 2024 14:23

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Place the cursor at the end of the error when block on error mode is active #963

Place the cursor at the end of the error when block on error mode is active #963

rtetley commented Dec 11, 2024

gares commented Dec 11, 2024 •

edited

Loading

Place the cursor at the end of the error when block on error mode is active #963

Place the cursor at the end of the error when block on error mode is active #963

Conversation

rtetley commented Dec 11, 2024

gares commented Dec 11, 2024 • edited Loading

gares commented Dec 11, 2024 •

edited

Loading