New J2K: Add mangling of name identifiers

2018-11-22 13:06:04 +03:00
parent 0e9abf8ca3
commit 5c6092c98c
2 changed files with 32 additions and 11 deletions
@@ -47,6 +47,8 @@
    </option>
  </component>
  <component name="NullableNotNullManager">
+    <option name="myDefaultNullable" value="org.jetbrains.annotations.Nullable" />
+    <option name="myDefaultNotNull" value="org.jetbrains.annotations.NotNull" />
    <option name="myNullables">
      <value>
        <list size="9">
@@ -84,6 +86,9 @@
  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="false" project-jdk-name="1.8" project-jdk-type="JavaSDK">
    <output url="file://$PROJECT_DIR$/out" />
  </component>
+  <component name="PsiViewerSettings">
+    <option name="splitDividerLocation" value="98" />
+  </component>
  <component name="SuppressABINotification">
    <option name="modulesWithSuppressedNotConfigured">
      <set>