Push other stuff

Author: stephan-gh

build.gradle.kts

@@ -21,7 +21,7 @@ buildscript {
 }
 
 plugins {
-    id("org.jetbrains.kotlin.jvm") version "1.1.4-3" // kept in sync with IntelliJ's bundled dep
+    id("org.jetbrains.kotlin.jvm") version "1.2.10" // kept in sync with IntelliJ's bundled dep
     groovy
     idea
     id("org.jetbrains.intellij") version "0.2.17"

gradle.properties

@@ -10,7 +10,7 @@
 # suppress inspection "UnusedProperty" for whole file
 ideaVersion = 2017.3.2
 javaVersion = 1.8
-kotlinVersion = 1.1.4-3
+kotlinVersion = 1.2.10
 
 group = com.demonwav.minecraft-dev
 version = 2017.3-1.0.0

src/main/kotlin/com/demonwav/mcdev/platform/mixin/folding/MixinFoldingBuilder.kt

@@ -113,7 +113,7 @@ class MixinFoldingBuilder : CustomFoldingBuilder() {
                 val start = (expression as? CompositeElement)?.findChildByRole(ChildRole.LPARENTH) ?: return
                 val end = (innerCast as? CompositeElement)?.findChildByRole(ChildRole.RPARENTH) ?: return
 
-                descriptors.add(FoldingDescriptor(expression, TextRange(start.startOffset, end.startOffset + end.textLength)))
+                descriptors.add(FoldingDescriptor(expression.node, TextRange(start.startOffset, end.startOffset + end.textLength)))
             }
         }