Overview
Improvements that make scopes ("what hypotheses are in scope", "what tactic is the cursor currently on") easy to track.
Added
-
Highlight available hypotheses and goals
Based on what hypotheses and goals are currently in scope.
-
Bolden tactics
Based on user's cursor position in VSCode editor.
Changed
-
Remove isReadonlyMode setting
Changes described above make scoping nonintrusive, so we don't need to have an additional setting that controls whether we want UI indicating scoping on or off; now it's always on.