Renamed tabs to fit their meaning better
Fixed cursor to reflect the user-select none property
Added icon to indicate whether the failing constraint is a temporal or a peephole one
Fixed cursor to reflect the user-select none property
Better default output for the monitor stub