|
|
@ -69,11 +69,6 @@
|
|
|
|
<option name="lastTrimTime" value="1632378694918" />
|
|
|
|
<option name="lastTrimTime" value="1632378694918" />
|
|
|
|
</component>
|
|
|
|
</component>
|
|
|
|
<component name="Settings">
|
|
|
|
<component name="Settings">
|
|
|
|
<option name="googleTranslateSettings">
|
|
|
|
|
|
|
|
<google-translate>
|
|
|
|
|
|
|
|
<option name="useTranslateGoogleCom" value="true" />
|
|
|
|
|
|
|
|
</google-translate>
|
|
|
|
|
|
|
|
</option>
|
|
|
|
|
|
|
|
<option name="overrideFont" value="true" />
|
|
|
|
<option name="overrideFont" value="true" />
|
|
|
|
<option name="phoneticFontFamily" value="Noto Sans Mono" />
|
|
|
|
<option name="phoneticFontFamily" value="Noto Sans Mono" />
|
|
|
|
<option name="primaryFontFamily" value="WenQuanYi Micro Hei Mono" />
|
|
|
|
<option name="primaryFontFamily" value="WenQuanYi Micro Hei Mono" />
|
|
|
|