Send a proof view in continuous mode when cursor position was executed#1014

Draft

rtetley wants to merge 1 commit intomainfrom continuous-mode-reg

+12-1

Commits on Jan 28, 2025

fix: send a proof view when executing a sentence which was clicked on
rtetley
committed