Is there a way to delete a save point (set by SetSavePoint) in
wx.StyledTextCtrl? The problem I am trying to solve is that when an
unmodified file is modified externally but the user chooses not to
reload it, the editor should be set as modified (GetModify() should
return True) so that the user can then save to overwrite.
At the moment I'm using this hack to achieve roughly what I want:
def SetModified(self):
self.AddText(" ")
self.SetSavePoint()
self.Undo()
The only downside is that the user could still "redo" to the save
point, and all the user's redo history is lost.