Don't know how to execute a pull request on Github. This addon needs _some_ instructions. I'm guessing the first line is for font name and the second for size? Anyway my comment is that Monaco, one of my favorites, should be an option.

by whiffelwink, 2024-01-13

View all user reviews

Add-on safety

Risk impact

Github Code Font Changer requires a few sensitive permissions. Exercise caution before installing.

Risk impact analysis details

Critical Request access to the following domains: github.com
High ******* ******* **** *** ****** ***** *** ***** ** ******* **** ********* ********* ** * *********** *****

Risk likelihood

Github Code Font Changer has earned a fairly good reputation and likely can be trusted.

Risk likelihood analysis details

High This extension has low user count. Unpopular extensions may not be stable or safe.
Low **** ********* *** ******* **** **** * ****** **** ***** ******** *** **** ****** ** ** ****** *** *****
Low **** ********* *** ***** **** **** * ****** **** ***** ********** *** **** ****** ** ** ****** *** *****
Good **** ********* *** **** **** *******

Upgrade to see full risk analysis details