search

emichael / dslabs

Distributed Systems Labs and Framework
https://ellismichael.com/dslabs/
1.26k stars 341 forks source link

Line wrap predicate names #32

Closed gnanabite closed 2 years ago

gnanabite commented 2 years ago

See the first part of https://github.com/emichael/dslabs/projects/1#card-80283420.

Tested: ran some tests to get invariant violations and liveness violations, and confirmed that the predicate names wrap as the left sidebar is resized.

emichael commented 2 years ago

Absurd that this works.