mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
DS-2110 Jupyter: support 3rd-party content manager Jupytext for remote servers
GitOrigin-RevId: 896d0ca4a64b6af9b0bd758397c04d769065cc41
This commit is contained in:
committed by
intellij-monorepo-bot
parent
60aac68197
commit
f428a65060
@@ -1,9 +1,14 @@
|
||||
package org.jetbrains.plugins.notebooks.core.api.lang
|
||||
|
||||
import com.intellij.lang.Language
|
||||
import com.intellij.openapi.fileTypes.FileType
|
||||
import com.intellij.openapi.fileTypes.LanguageFileType
|
||||
|
||||
/**
|
||||
* General language for notebooks.
|
||||
* To share some of the common features for the notebooks, their language should use [NotebookLanguage] as base one.
|
||||
*/
|
||||
object NotebookLanguage: Language("Notebook")
|
||||
|
||||
val FileType.isNotebookLanguage: Boolean
|
||||
get() = (this as? LanguageFileType)?.language?.baseLanguage is NotebookLanguage
|
||||
Reference in New Issue
Block a user