2022-04-12 15:41:16 +00:00
|
|
|
<application>
|
|
|
|
|
<component name="DefaultFont">
|
|
|
|
|
<option name="VERSION" value="1" />
|
2022-06-07 08:53:40 +00:00
|
|
|
<option name="FONT_FAMILY" value="Ubuntu Mono" />
|
|
|
|
|
<option name="FONT_REGULAR_SUB_FAMILY" value="Regular" />
|
|
|
|
|
<option name="FONT_BOLD_SUB_FAMILY" value="Bold" />
|
|
|
|
|
<option name="USE_LIGATURES" value="true" />
|
2022-04-12 15:41:16 +00:00
|
|
|
</component>
|
|
|
|
|
</application>
|
