Ability to configure font family in SQL editors#8553

adityatoshniwal merged 1 commit intopgadmin-org:masterpgadmin-org/pgadmin4:masterfrom

MikeChristensen:GH-392-ConfigurableFontFamilyMikeChristensen/pgadmin4:GH-392-ConfigurableFontFamilyCopy head branch name to clipboard