3 ms·
never noticed that option, it's not a default though, thanks for the tip.
by bra-ket 6y ago
never noticed that option, it's not a default though, thanks for the tip.
- AnimalMuppet 6y agoOK, to those who downvoted the parent: I understand the temptation to downvote everything someone says when you disagree strongly with them on some point, but there is nothing in the parent post that deserves your downvotes. Downvote the post; not the person.