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

Question

我最近开始使用IntelliJ IDEA。

我发现了一个问题：IntelliJ IDEA似乎不支持Java 7功能（事实上，我正在尝试使用Diamond Operator）。

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

然后，IntelliJ IDEA中的红线消失了。但仍然有构建错误：

  

'java：-source 1.6不支持diamond'

我终于找到了解决办法：我从

手动更改了.idea/misc.xml文件

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

到

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

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

我是否遗漏了IntelliJ IDEA设置中的内容？

Answer 1

正如@MarcoAcierno所说，我忘记重新加载项目和想法不提醒我。这就是原因。

如何关闭它？