▲ Github tab resizer: change tabs from 8 spaces to a smaller number at github.com▼1 up and 2 down, posted by kolodny 4193 days ago discuss