Draw selection on half-pixels to avoid aliasing.

Adapted from pull request #17.