search

ethereum / remix-desktop

Remix IDE desktop
1.02k stars 266 forks source link

[Enhancement] Can there be an option to customize font and theme? #87

Closed anonymousDog12 closed 1 year ago

anonymousDog12 commented 2 years ago

Would love to be able to code in the Courier font.