Step one: Enter the settings window windows -> preferences
Step 2: Enter the tab to modify the font. General -> Appearance -> Colors and Fonts
Step 3: Select "Text Font" in the "Basic" sub-option.
Step 4: Click the "Edit" button on the right to modify the font.
I have tried it myself and it definitely works.
http://www.bkjia.com/PHPjc/738548.htmlwww.bkjia.comtruehttp: //www.bkjia.com/PHPjc/738548.htmlTechArticleStep 1: Enter the settings window windows-preferences. Step 2: Enter the tab to modify the font. General-Appearance-ColorsandFonts Step 3: Select "TextFont" in the "Basic" sub-option. ...
Statement:The content of this article is voluntarily contributed by netizens, and the copyright belongs to the original author. This site does not assume corresponding legal responsibility. If you find any content suspected of plagiarism or infringement, please contact admin@php.cn