Fix hardcoded font height in OpenGlStream.
Improve selection rendering code, it now works.

Still needs refactoring (simplification, generalization).