Method FileModCheck

texteditor/buffer.go:297–331

FileModCheck checks if the underlying file has been modified since last Stat (open, save); if haven't yet prompted, user is prompted to ensure that this is OK. It returns true if the file was modified.

()

// Stat (open, save); if haven't yet prompted, user is prompted to ensure
// that this is OK. It returns true if the file was modified.
func (tb *Buffer) FileModCheck() bool {
	if tb.fileModOK {
		return false
	}
	info, err := os.Stat(string(tb.Filename))
	if err != nil {
		return false
	}
	if info.ModTime() != time.Time(tb.Info.ModTime) {
		if !tb.IsNotSaved() { // we haven't edited: just revert
			tb.Revert()
			return true
		}
		sc := tb.sceneFromEditor()
		d := core.NewBody().AddTitle("File changed on disk: " + fsx.DirAndFile(string(tb.Filename))).
			AddText(fmt.Sprintf("File has changed on disk since being opened or saved by you; what do you want to do?  If you <code>Revert from Disk</code>, you will lose any existing edits in open buffer.  If you <code>Ignore and Proceed</code>, the next save will overwrite the changed file on disk, losing any changes there.  File: %v", tb.Filename))
		d.AddBottomBar(func(parent core.Widget) {
			core.NewButton(parent).SetText("Save as to different file").OnClick(func(e events.Event) {
				d.Close()
				core.CallFunc(sc, tb.SaveAs)
			})
			core.NewButton(parent).SetText("Revert from disk").OnClick(func(e events.Event) {
				d.Close()
				tb.Revert()
			})
			core.NewButton(parent).SetText("Ignore and proceed").OnClick(func(e events.Event) {
				d.Close()
				tb.fileModOK = true
			})
		})
		d.RunDialog(sc)
		return true
	}
	return false
}

// Open loads the given file into the buffer.
func (tb *Buffer) Open(filename core.Filename) error { //types:add