MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-09 08:09:39 +07:00
Code Issues Packages Projects Releases Wiki Activity

[DS-2285] store PointerFactory as editor.document field instead of editor

Browse Source 
GitOrigin-RevId: fdbaf46143389b7a82b441253d81cdca08e0d766
This commit is contained in:
Igor Slobodskov
2021-11-30 22:45:58 +03:00
committed by intellij-monorepo-bot
parent 158e2ee69a
commit ec755af694
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
notebooks/visualization/src/org/jetbrains/plugins/notebooks/visualization/NotebookIntervalPointer.kt
View File

@@ -29,13 +29,13 @@ interface NotebookIntervalPointerFactory {
getOrNull(editor)!!
fun getOrNull(editor: Editor): NotebookIntervalPointerFactory? =
key.get(editor) ?: tryInstall(editor)
key.get(editor.document) ?: tryInstall(editor)
private fun tryInstall(editor: Editor): NotebookIntervalPointerFactory? =
getLanguage(editor)
?.let { NotebookIntervalPointerFactoryProvider.forLanguage(it) }
?.create(editor)
?.also { key.set(editor, it) }
?.also { key.set(editor.document, it) }
}
sealed interface Change