Changing font failed if there are chinese characters in the font's name

[LosikiS]

Description

• Can you reproduce the issue?

Steps to reproduce

1.Open the preferences and change font in the Editor tab, if there is a chinese character, this change is invalid.

Expected behavior: Change font successfully

Actual behavior: The font has not changed

Link to an example: [optional]

Versions

• Mark Text: v0.16.0-rc.2
• Operating system: Windows 10 1903

[fxha]

@Jocs Any ideas here? The issue is that we restrict the allowed font family name to ^[_A-z0-9]+((-|\s)*[_A-z0-9])*$ to prevent bad input and I also don't know whether Chromium supports non-ASCII font family names.

[Jocs]

The issue is that we restrict the allowed font family name to ^[_A-z0-9]+((-|\s)[_A-z0-9])$ to prevent bad input and I also don't know whether Chromium supports non-ASCII font family names.

Yes, 微软雅黑 is an valid font family name, so I think we should not restrict the allowed font family name to ^[_A-z0-9]+((-|\s)*[_A-z0-9])*$. Maybe we only need to exclude some special characters?