2019-06-11 11:23:10 +00:00
|
|
|
<application>
|
|
|
|
|
<component name="UISettings">
|
2019-06-11 12:19:36 +00:00
|
|
|
<option name="HIDE_TOOL_STRIPES" value="true" />
|
2019-06-11 11:23:10 +00:00
|
|
|
<option name="OVERRIDE_NONIDEA_LAF_FONTS" value="true" />
|
2019-06-11 12:19:36 +00:00
|
|
|
<option name="SHOW_MAIN_TOOLBAR" value="true" />
|
2019-06-11 11:23:10 +00:00
|
|
|
</component>
|
|
|
|
|
</application>
|
