2021-07-31 19:10:00 +01:00
|
|
|
<application>
|
|
|
|
<component name="DefaultFont">
|
2021-09-23 15:27:21 +01:00
|
|
|
<option name="FONT_SIZE" value="14" />
|
2021-07-31 19:10:00 +01:00
|
|
|
<option name="FONT_REGULAR_SUB_FAMILY" value="Regular" />
|
|
|
|
<option name="FONT_BOLD_SUB_FAMILY" value="Bold" />
|
2021-08-15 16:16:13 +01:00
|
|
|
<option name="FONT_SCALE" value="1.25" />
|
2021-09-23 15:27:21 +01:00
|
|
|
<option name="SECONDARY_FONT_FAMILY" value="Source Code Pro" />
|
2021-07-31 19:10:00 +01:00
|
|
|
</component>
|
|
|
|
</application>
|