Merge pull request #74 from greboid/master

Switch count + name in window status.
Use floats for highlight shapes.

This doesn't help fix anything, but truncating everything to
integers is odd.
Merge pull request #76 from csmith/master

Use floats for highlight shapes.
Tidy up highlight calculation.

Use the bounds from the logical highlight shape, rather than
calculating everything from scratch using the text metrics.
Merge pull request #77 from csmith/master

Tidy up highlight calculation.
More highlight tidying.
Merge pull request #78 from csmith/master

More highlight tidying.