From 38c66cc2a2f9a02088b664f1a95de4d9e9f585bd Mon Sep 17 00:00:00 2001 From: Mark Janssen Date: Wed, 25 Dec 2019 09:11:41 +0100 Subject: [PATCH] Fix file extension in language_info --- src/main/kotlin/org/jetbrains/kotlin/jupyter/protocol.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/kotlin/org/jetbrains/kotlin/jupyter/protocol.kt b/src/main/kotlin/org/jetbrains/kotlin/jupyter/protocol.kt index ff9709cd4..4dcb21dd7 100644 --- a/src/main/kotlin/org/jetbrains/kotlin/jupyter/protocol.kt +++ b/src/main/kotlin/org/jetbrains/kotlin/jupyter/protocol.kt @@ -32,7 +32,7 @@ fun JupyterConnection.Socket.shellMessagesHandler(msg: Message, repl: ReplForJup "language_info" to jsonObject( "name" to "kotlin", "codemirror_mode" to "text/x-kotlin", - "file_extension" to "kt" + "file_extension" to ".kt" ), // Jupyter lab Console support