如何使IntelliJ IDEA支持Java 7功能？

我最近开始使用IntelliJ IDEA

我发现了一个问题：IntellijIDEA似乎不支持Java7功能（事实上，我正在尝试使用Diamond操作符）

我更改了项目结构中的设置：

然后，IntelliJ IDEA中的红线消失了。但仍存在生成错误：

'java:-源代码1.6不支持菱形'

我终于找到了解决办法：我手动更改了

<component name="ProjectRootManager" version="2" languageLevel="JDK_1_6" 
    assert-keyword="true" jdk-15="true" project-jdk-name="1.7" project-jdk-type="JavaSDK">

到

一切正常。但我仍然不知道为什么我必须手动更改这样的文件

---

我在IntelliJ IDEA设置中遗漏了什么吗？

正如@Marcocierno所说，我忘了重新加载项目，IDEA没有提醒我。这就是原因

---

如何关闭它？

您不应该也关闭它。如果这是可复制的，那么你应该向JetBrains报告，让他们知道这个问题。更改后你重新启动了IDEA吗？它通常会要求您重新启动以应用更改。@Marcaciern好主意，不要问我，我也忘了重新启动。我会在下班后测试它。@pickypg我不确定我遇到的错误。可能是我愚蠢的操作导致的……您不需要“关闭它”。接受你自己的答案；-）

<component name="ProjectRootManager" version="2" languageLevel="JDK_1_7" 
    assert-keyword="true" jdk-15="true" project-jdk-name="1.7" project-jdk-type="JavaSDK">