Closed zuphilip closed 6 years ago
https://stackoverflow.com/questions/21900938/how-do-i-change-the-font-style-in-ace-editor#21909788
https://stackoverflow.com/questions/21900938/how-do-i-change-the-font-style-in-ace-editor#21909788