You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Verification panel: wrap at spaces and operators, one conjunct per line #187
At the study's panel width (about 240 px), the Verification panel breaks lines inside identifiers: failures.siz|e(), compressionN|otExplicit, display(host|) == .... In A1_09, the Found wraps over about 20 lines and pushes Hints and Locations below the fold. This is visible in the study env's e2e screenshots (test/out/A-36-A1_09-liquidjava-view.png).
Proposal
Break only at spaces or operators, never inside an identifier.
Put one top-level conjunct per line in Expected and Found.
Acceptance check: screenshots of all six study tasks at about 240 px, with Found and Expected visible without scrolling.
Activity