Fix a subtle bug with the mark API

file/observable_editable_buffer.go

@@ -191,8 +191,9 @@
 
 // Mark is a forwarding function for file.Mark.
 // This sets an undo point. NB: call Mark before mutating the file.
-// seq must be 1 to enable Undo/Redo on the file.
+// Argument seq should be > 0 to create a valid Undo/Redo point.
 func (e *ObservableEditableBuffer) Mark(seq int) {
+log.Println("oeb.Mark(), before:", e.DebugSeqState(), "newseq:", seq)
 	e.f.Mark()
 	e.seq = seq
 }
@@ -529,3 +530,8 @@
 func (e *ObservableEditableBuffer) MakeBufferCursor(p0, p1 OffsetTuple) *BufferCursor {
 	return MakeBufferCursor(e.f, p0, p1)
 }
+
+// DebugSeqState returns the seq state for debugging purposes.
+func (e *ObservableEditableBuffer) DebugSeqState() string {
+	return fmt.Sprintf("oeb seq %d putseq %d treatasclean %v", e.seq, e.putseq,  e.treatasclean)
+}

xfid.go

@@ -658,8 +658,9 @@ forloop:
 		case "nomark": // turn off automatic marking
 			w.nomark = true
 		case "mark": // mark file
-			global.seq++
-			w.body.file.Mark(global.seq)
+			w.nomark = false
+			// global.seq++
+			// w.body.file.Mark(global.seq)
 		case "nomenu": // turn off automatic menu
 			w.filemenu = false
 		case "menu": // enable automatic menu