Android .idea/misc.xml 的语言级别标签不断改变 JDK
2022-08-31 06:37:20
语言级别键从JDK_1_8更改为JDK_1_7原因我不知道。
可能发生了什么?
这是否与从事该项目的其他开发人员的 IDE 有关?也许他们有另一个Android Studio设置?
以下是我注意到源代码管理下的文件已更改后弹出的内容:
$ git diff
diff --git a/.idea/misc.xml b/.idea/misc.xml
index fbb6828..5d19981 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -37,7 +37,7 @@
<ConfirmationsSetting value="0" id="Add" />
<ConfirmationsSetting value="0" id="Remove" />
</component>
- <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="true" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
+ <component name="ProjectRootManager" version="2" languageLevel="JDK_1_7" default="true" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
<output url="file://$PROJECT_DIR$/build/classes" />
</component>
<component name="ProjectType">
这是我的gitignore,以防万一它很重要。
.gradle
/local.properties
/.idea/workspace.xml
/.idea/libraries
.DS_Store
/build
/captures
我该如何继续,以便它只停留在一个方向或另一个方向上?