Fix focus bug
- Improvements to mouse wheel events, zoom updates line number margin.
- Proper updating of line number margin using linesChanged() signal.