GNOME Bugzilla – Bug 691121
sourceview: Detect that a ifile_open() is a reload and save marks and position.
Last modified: 2013-01-04 12:36:14 UTC
See attached patch.
Created attachment 232723 [details] [review] sourceview: Detect that a ifile_open() is a reload and save marks and position. So that when a document is reloaded from outside sourceview, marks and position is restored. Eg. when a reload is triggered from the DocumentManager menu item.
Review of attachment 232723 [details] [review]: Thanks! Actually thanks for cleaning up the code of the sourceview plugin so much. It has been growing over time and some things aren't very elegant anymore.