Proof selection snapping/expansion

[Negabinary]

No description provided.

[codecov]

Codecov Report

❌ Patch coverage is 15.38462% with 33 lines in your changes missing coverage. Please review.
✅ Project coverage is 50.44%. Comparing base (e633d96) to head (f87b859).
⚠️ Report is 1 commits behind head on dev.

Files with missing lines	Patch %	Lines
src/web/app/editors/decoration/Highlight.re	0.00%	12 Missing ⚠️
src/haz3lcore/derived/TermData.re	23.07%	10 Missing ⚠️
src/util/ListUtil.re	28.57%	5 Missing ⚠️
src/web/app/editors/code/CodeEditable.re	0.00%	5 Missing ⚠️
src/web/app/editors/stepper/MissingStep.re	50.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##              dev    #2096      +/-   ##
==========================================
- Coverage   50.50%   50.44%   -0.06%     
==========================================
  Files         229      229              
  Lines       25187    25219      +32     
==========================================
+ Hits        12720    12722       +2     
- Misses      12467    12497      +30     

Files with missing lines	Coverage Δ
src/web/app/editors/result/StepperEditor.re	0.00% <ø> (ø)
src/web/app/editors/stepper/MissingStep.re	12.79% <50.00%> (+0.14%)	⬆️
src/util/ListUtil.re	55.55% <28.57%> (-0.78%)	⬇️
src/web/app/editors/code/CodeEditable.re	0.00% <0.00%> (ø)
src/haz3lcore/derived/TermData.re	48.33% <23.07%> (-6.99%)	⬇️
src/web/app/editors/decoration/Highlight.re	0.00% <0.00%> (ø)

... and 12 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.