plugin.groovy

import com.intellij.ide.ui.LafManager
import com.intellij.ide.ui.LafManagerListener
import com.intellij.openapi.application.ApplicationManager
import com.intellij.ui.Gray
import com.intellij.ui.JBColor
import com.intellij.util.ui.JBInsets
import liveplugin.PluginUtil
import org.jetbrains.annotations.NotNull
import javax.swing.UIManager
import static liveplugin.PluginUtil.*

def fixUI() {
	// You can find more constants in:
	//  - https://github.com/JetBrains/intellij-community/blob/master/platform/util/ui/src/com/intellij/util/ui/JBUI.java
	//  - https://github.com/JetBrains/intellij-community/blob/master/platform/platform-resources/src/themes/metadata/IntelliJPlatform.themeMetadata.json
	//  - https://github.com/JetBrains/intellij-community/blob/master/platform/platform-resources/src/themes/metadata/JDK.themeMetadata.json
	UIManager.put("RunWidget.background", Gray._55)
	UIManager.put("RunWidget.runningBackground", Gray._55)
	UIManager.put("ToolWindow.Header.height", 30)
	UIManager.put("ToolWindow.Header.inactiveBackground", new JBColor(Gray._244, Gray._55))
	UIManager.put("EditorTabs.tabInsets", JBInsets.create(0, 10))
}

ApplicationManager.getApplication().messageBus.connect(pluginDisposable).subscribe(
	LafManagerListener.TOPIC,
	new LafManagerListener() {
		@Override void lookAndFeelChanged(@NotNull LafManager source) {
			fixUI()
		}
	}
)
fixUI()