Is it possible to unset save point in wx.StyledTextCtrl

wxPython Users
1

I am writing a text editor around wx.StyledTextCtrl which detects when
files have been deleted. If the user wants to keep a deleted file
open, it should be marked as modified so the user can re-save the file
at that point. There doesn't seem to be a method for removing the save
point from the undo history. At the moment I am using this code as a
workaround:

editor.AppendText(" ")
editor.SetSavePoint()
editor.Undo()

It's not perfect because it's possible for the user to "Redo" this
action.

2

I don't see a way to set the modified status, just a way to fetch it. Having a setter for this would be a nice enhancement.

···

On 10/30/10 7:24 PM, Luke McCarthy wrote:

I am writing a text editor around wx.StyledTextCtrl which detects when
files have been deleted. If the user wants to keep a deleted file
open, it should be marked as modified so the user can re-save the file
at that point. There doesn't seem to be a method for removing the save
point from the undo history. At the moment I am using this code as a
workaround:

editor.AppendText(" ")
editor.SetSavePoint()
editor.Undo()

It's not perfect because it's possible for the user to "Redo" this
action.

--
Robin Dunn
Software Craftsman