Ticket #220 (closed defect: fixed)
reloading file should move cursor to where it was
|Reported by:||jquelin||Owned by:|
when padre detects that file has changed, it allows user to reload it. however, it would be nice if once reloaded, padre would move the cursor to the line where it was before.