From cd55af5a19e06f30aa8eb2f8d0ab2da396fae2a8 Mon Sep 17 00:00:00 2001 From: Akash Yadav Date: Wed, 29 Mar 2023 12:40:19 +0530 Subject: [PATCH] fix(projects): doc version and lastModified is not updated after DocumentChangeEvent --- .../main/java/com/itsaky/androidide/projects/FileManager.kt | 3 +++ .../com/itsaky/androidide/projects/models/ActiveDocument.kt | 4 ++-- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/subprojects/projects/src/main/java/com/itsaky/androidide/projects/FileManager.kt b/subprojects/projects/src/main/java/com/itsaky/androidide/projects/FileManager.kt index f21c25f09..0deeca15a 100644 --- a/subprojects/projects/src/main/java/com/itsaky/androidide/projects/FileManager.kt +++ b/subprojects/projects/src/main/java/com/itsaky/androidide/projects/FileManager.kt @@ -121,6 +121,9 @@ object FileManager : EventReceiver { return } + document.version = event.version + document.modified = Instant.now() + // document is already open // patch the changes document.patch(event) diff --git a/subprojects/projects/src/main/java/com/itsaky/androidide/projects/models/ActiveDocument.kt b/subprojects/projects/src/main/java/com/itsaky/androidide/projects/models/ActiveDocument.kt index 73e43c282..34aaa759a 100644 --- a/subprojects/projects/src/main/java/com/itsaky/androidide/projects/models/ActiveDocument.kt +++ b/subprojects/projects/src/main/java/com/itsaky/androidide/projects/models/ActiveDocument.kt @@ -33,8 +33,8 @@ import java.time.Instant */ open class ActiveDocument( val file: Path, - val version: Int, - val modified: Instant, + var version: Int, + var modified: Instant, content: String = "" ) : Closeable {