2022-11-24 04:21:53 +00:00
|
|
|
<application>
|
|
|
|
|
<component name="UISettings">
|
|
|
|
|
<option name="OVERRIDE_NONIDEA_LAF_FONTS" value="true" />
|
2023-03-16 17:35:22 +00:00
|
|
|
<option name="SEPARATE_MAIN_MENU" value="true" />
|
2022-11-24 04:21:53 +00:00
|
|
|
</component>
|
|
|
|
|
</application>
|
