mirror of
https://gitee.com/zhangsken/AndroidIDE.git
synced 2026-10-16 07:49:44 +08:00
fix(projects): doc version and lastModified is not updated after DocumentChangeEvent
This commit is contained in:
@@ -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)
|
||||
|
||||
+2
-2
@@ -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 {
|
||||
|
||||
|
||||
Reference in New Issue
Block a user