[ badges ] Add badges

JuliaEditorSupport · Jan 31, 2018 · 1973a98 · 1973a98
1 parent 5a714b2
commit 1973a98
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -1,7 +1,8 @@
 # Julia plugin for the IntelliJ Platform
 
 [![](https://tinyurl.com/y9e4n2zh)](https://github.com/ice1000/julia-intellij)
-<!-- badges -->
+[![JetBrains plugins](https://img.shields.io/jetbrains/plugin/v/10413-julia.svg)](https://plugins.jetbrains.com/plugin/10413-julia)
+[![JetBrains plugins](https://img.shields.io/jetbrains/plugin/d/10413-julia.svg)](https://plugins.jetbrains.com/plugin/10413-julia)
 
 ## Status
 

diff --git a/src/org/ice1000/julia/lang/editing/julia-completion.kt b/src/org/ice1000/julia/lang/editing/julia-completion.kt
@@ -108,7 +108,8 @@ class JuliaBasicCompletionContributor : CompletionContributor() {
 				.inside(psiElement(JuliaTypes.STATEMENTS)),
 			JuliaCompletionProvider(statementBegin))
 		extend(CompletionType.BASIC,
-			psiElement().inside(psiElement(JuliaTypes.STATEMENTS)),
+			psiElement()
+				.inside(psiElement(JuliaTypes.STATEMENTS)),
 			JuliaCompletionProvider(builtinFunction))
 		extend(CompletionType.BASIC,
 			psiElement()

diff --git a/src/org/ice1000/julia/lang/module/julia-project.kt b/src/org/ice1000/julia/lang/module/julia-project.kt
@@ -93,9 +93,7 @@ class JuliaProjectGeneratorPeer : ProjectGeneratorPeer<Any>, Disposable {
 
 	}
 
-	/**
-	 * Deprecated in 2017.3 ! But We must override it.
-	 */
+	/** Deprecated in 2017.3 But We must override it. */
 	@Deprecated("", ReplaceWith("addSettingsListener"))
 	override fun addSettingsStateListener(listener: WebProjectGenerator.SettingsStateListener) = Unit
 }