2021-07-31 19:10:00 +01:00
|
|
|
<application>
|
|
|
|
|
<component name="DefaultFont">
|
2021-11-01 20:18:42 +00:00
|
|
|
<option name="FONT_SIZE" value="12" />
|
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-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>
|
