From 270168f50fc66e507980ae9452d5d9f74d25ec75 Mon Sep 17 00:00:00 2001
From: Alexey Sedunov <alexey.sedunov@jetbrains.com>
Date: Wed, 29 Mar 2017 23:27:57 +0300
Subject: [PATCH] Kotlin Facet: Update multi-editor tabs using project-level
 settings

---
 .../jetbrains/kotlin/idea/facet/MultipleKotlinFacetEditor.kt   | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/idea/src/org/jetbrains/kotlin/idea/facet/MultipleKotlinFacetEditor.kt b/idea/src/org/jetbrains/kotlin/idea/facet/MultipleKotlinFacetEditor.kt
index 1759bca27a4..df04f21b070 100644
--- a/idea/src/org/jetbrains/kotlin/idea/facet/MultipleKotlinFacetEditor.kt
+++ b/idea/src/org/jetbrains/kotlin/idea/facet/MultipleKotlinFacetEditor.kt
@@ -61,5 +61,8 @@ class MultipleKotlinFacetEditor(
 
     override fun disposeUIResources() {
         helper.unbind()
+        // Reset tabs with selected "Use project settings" after switching off the multi-editor mode.
+        // Their settings might have changed to non-project one due to UI control binding
+        editors.map { it.tabEditor }.filter { it.useProjectSettingsCheckBox.isSelected }.forEach { it.updateCompilerConfigurable() }
     }
 }
\ No newline at end of file