|
<application>
|
|
<component name="DefaultFont">
|
|
<option name="FONT_SIZE" value="20" />
|
|
<option name="FONT_FAMILY" value="Consolas" />
|
|
<option name="FONT_REGULAR_SUB_FAMILY" value="Regular" />
|
|
<option name="FONT_BOLD_SUB_FAMILY" value="Bold" />
|
|
</component>
|
|
</application> |