![]() |
1
0
我假设您使用的是某种提供自动编译的插件。我对scala使用jedit,根本不需要任何自动编译,只需添加
换言之,我只会删除导致自动编译的任何插件;在jedit中,它实际上不是scala所必需的。 |