|
|
@ -7,7 +7,7 @@
|
|
|
|
</font>
|
|
|
|
</font>
|
|
|
|
<font>
|
|
|
|
<font>
|
|
|
|
<option name="EDITOR_FONT_NAME" value="Microsoft YaHei" />
|
|
|
|
<option name="EDITOR_FONT_NAME" value="Microsoft YaHei" />
|
|
|
|
<option name="EDITOR_FONT_SIZE" value="14" />
|
|
|
|
<option name="EDITOR_FONT_SIZE" value="16" />
|
|
|
|
</font>
|
|
|
|
</font>
|
|
|
|
<option name="EDITOR_LIGATURES" value="true" />
|
|
|
|
<option name="EDITOR_LIGATURES" value="true" />
|
|
|
|
<console-font>
|
|
|
|
<console-font>
|
|
|
|