search

gauravmm / PyretIDE

CS0320 Term Project
2 stars 0 forks source link

IDE font cannot be changed. #72

Open gauravmm opened 10 years ago

gauravmm commented 10 years ago

On some systems (e.g. Ubuntu 14.04) the editor font is not monospaced.