devdocs icon indicating copy to clipboard operation
devdocs copied to clipboard

Option in preferences for use of different fonts.

Open sravanth-space opened this issue 2 years ago • 4 comments

Feature request

Option in preferences for use of different fonts.

Summary

Examples

sravanth-space avatar Jan 18 '23 10:01 sravanth-space

I am working on this.

jtnguyen45 avatar Mar 03 '23 21:03 jtnguyen45

@sravanthbaratam for this feature, would you want a set of fonts the user could choose from, in a drop down menu for example? If so, is there a font library in place you would like us to use?

jtnguyen45 avatar Mar 11 '23 18:03 jtnguyen45

For the reference, TypeScript docs allows to select the code font in the footer: https://www.typescriptlang.org/docs/handbook/

image

simon04 avatar Mar 12 '23 18:03 simon04

@simon04 oh that's super helpful. I'll try to implement a drop down like that in the Preferences page. Thanks!

jtnguyen45 avatar Mar 13 '23 02:03 jtnguyen45