#18 Change of font size and mouse scroller

[Anonymous]

I would recommend two minor improvements.

The lack of one of them is very annoying - the mouse scroller is not
working in the MDI. It should be simlpe to active it and this will result in
faster scrolling and acheiving better results in shotr time.

The other is a suggestion to allow the user to specify the size of the
letters (Zoom In / Zoom Out) for improving the working environment.
Line numbering will also be helpful.

Regards,
Mladen AT sdf-eu DOT org