gray17, 1 month ago @astrid This works pretty well with the IDE extension that renders indent as displacement in the z axis. The deeply indented unsafe blocks are not just in the center of the screen, they're thrusting forward into your face and mocking your nose hair
@astrid This works pretty well with the IDE extension that renders indent as displacement in the z axis. The deeply indented unsafe blocks are not just in the center of the screen, they're thrusting forward into your face and mocking your nose hair