Specify displayName for configurable page

This commit is contained in:
Fedor Isakov 2023-09-22 14:41:37 +02:00
parent d773a7d28d
commit c6f632583f
2 changed files with 10 additions and 4 deletions

View File

@ -113,7 +113,7 @@
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2023.2 release of MPS</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<extensions defaultExtensionNs="com.intellij">
<applicationService serviceImplementation="jetbrains.mps.coderules.ideaplugin.TypecheckingSettings" />
<applicationConfigurable groupId="other" groupWeight="200" instance="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage" id="preferences.typecheckingSettings" />
<applicationConfigurable groupId="other" groupWeight="200" instance="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage" id="preferences.typecheckingSettings" displayName="Typechecking" />
</extensions>
<extensions defaultExtensionNs="com.intellij">
@ -2126,7 +2126,7 @@
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2023.2 release of MPS</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<extensions defaultExtensionNs="com.intellij">
<applicationService serviceImplementation="jetbrains.mps.coderules.ideaplugin.TypecheckingSettings" />
<applicationConfigurable groupId="other" groupWeight="200" instance="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage" id="preferences.typecheckingSettings" />
<applicationConfigurable groupId="other" groupWeight="200" instance="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage" id="preferences.typecheckingSettings" displayName="Typechecking" />
</extensions>
<extensions defaultExtensionNs="com.intellij">
@ -2157,7 +2157,7 @@
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2023.2 release of MPS</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<extensions defaultExtensionNs="com.intellij">
<applicationService serviceImplementation="jetbrains.mps.coderules.ideaplugin.TypecheckingSettings" />
<applicationConfigurable groupId="other" groupWeight="200" instance="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage" id="preferences.typecheckingSettings" />
<applicationConfigurable groupId="other" groupWeight="200" instance="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage" id="preferences.typecheckingSettings" displayName="Typechecking" />
</extensions>
<extensions defaultExtensionNs="com.intellij">
@ -3764,7 +3764,7 @@
<change-notes><![CDATA[<ul><li>Compatible with upcoming 2023.2 release of MPS</li><li>Bugfixes and optimizations</li></ul>]]></change-notes>
<extensions defaultExtensionNs="com.intellij">
<applicationService serviceImplementation="jetbrains.mps.coderules.ideaplugin.TypecheckingSettings" />
<applicationConfigurable groupId="other" groupWeight="200" instance="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage" id="preferences.typecheckingSettings" />
<applicationConfigurable groupId="other" groupWeight="200" instance="jetbrains.mps.coderules.ideaplugin.TypecheckingSettingsPage" id="preferences.typecheckingSettings" displayName="Typechecking" />
</extensions>
<extensions defaultExtensionNs="com.intellij">

View File

@ -375,6 +375,12 @@
<property role="2pMdty" value="preferences.typecheckingSettings" />
</node>
</node>
<node concept="2pNUuL" id="1z_iLrGQ5xq" role="2pNNFR">
<property role="2pNUuO" value="displayName" />
<node concept="2pMdtt" id="1z_iLrGQ5xr" role="2pMdts">
<property role="2pMdty" value="Typechecking" />
</node>
</node>
</node>
<node concept="2pNUuL" id="2CPBoDATsaE" role="2pNNFR">
<property role="2pNUuO" value="defaultExtensionNs" />