autoImport

DottyIDEPlugin DottyPlugin