Studio/AndroidIDE
5
0
Fork 0
mirror of https://gitee.com/zhangsken/AndroidIDE.git synced 2026-10-16 07:49:44 +08:00
Code Issues Packages Projects Releases Wiki Activity

fix(editor): DocumentSelectedEvent is not handled by event dispatcher

Browse Source
This commit is contained in:
Akash Yadav
2023-10-26 17:52:04 +05:30
parent a2af3bb050
commit a41775a20c
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
editor/src/main/java/com/itsaky/androidide/editor/ui/EditorEventDispatcher.kt
+6
View File
@@ -22,6 +22,7 @@ import com.itsaky.androidide.eventbus.events.editor.DocumentCloseEvent
import com.itsaky.androidide.eventbus.events.editor.DocumentEvent
import com.itsaky.androidide.eventbus.events.editor.DocumentOpenEvent
import com.itsaky.androidide.eventbus.events.editor.DocumentSaveEvent
import com.itsaky.androidide.eventbus.events.editor.DocumentSelectedEvent
import com.itsaky.androidide.projects.FileManager.onDocumentClose
import com.itsaky.androidide.projects.FileManager.onDocumentContentChange
import com.itsaky.androidide.projects.FileManager.onDocumentOpen
@@ -87,6 +88,7 @@ class EditorEventDispatcher(
is DocumentChangeEvent -> dispatchChange(event)
is DocumentSaveEvent -> dispatchSave(event)
is DocumentCloseEvent -> dispatchClose(event)
is DocumentSelectedEvent -> dispatchSelected(event)
else -> throw IllegalArgumentException("Unknown document event: $event")
}
}
@@ -110,6 +112,10 @@ class EditorEventDispatcher(
post(event)
}
private fun dispatchSelected(event: DocumentSelectedEvent) {
post(event)
}
private fun post(event: DocumentEvent) {
EventBus.getDefault().post(event)
}