The option of changing the font of editor

Brought to you by: daviddengcn

#24 The option of changing the font of editor

Status: open

Owner: David

Labels: More friendly (8)

Priority: 5

Updated: 2013-02-14

Created: 2008-06-22

Creator: David

Private: No

Choose the favorite font in options dialog.

Discussion

Log in to post a comment.