mirror of https://github.com/buggins/dlangui.git
editors: modification marks for lines support, part 3
This commit is contained in:
parent
9194cecd12
commit
51c93a0424
|
@ -294,6 +294,13 @@ class EditOperation {
|
||||||
}
|
}
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
void saved() {
|
||||||
|
for (int i = 0; i < _oldEditMarks.length; i++) {
|
||||||
|
if (_oldEditMarks[i] == EditStateMark.changed)
|
||||||
|
_oldEditMarks[i] = EditStateMark.saved;
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Undo/Redo buffer
|
/// Undo/Redo buffer
|
||||||
|
@ -352,6 +359,12 @@ class UndoBuffer {
|
||||||
/// current state is saved
|
/// current state is saved
|
||||||
void saved() {
|
void saved() {
|
||||||
_savedState = _undoList.peekBack;
|
_savedState = _undoList.peekBack;
|
||||||
|
for (int i = 0; i < _undoList.length; i++) {
|
||||||
|
_undoList[i].saved();
|
||||||
|
}
|
||||||
|
for (int i = 0; i < _redoList.length; i++) {
|
||||||
|
_redoList[i].saved();
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// returns true if content has been changed since last saved() or clear() call
|
/// returns true if content has been changed since last saved() or clear() call
|
||||||
|
|
Loading…
Reference in New Issue