File Reload feature

- Keep current cursor position upon file reload, if possible.
- Fix for bug #1020066, additionally, the line number margin's size is now dynamic based on the number of characters the line number text requires.  :)