circle-info
The docs have been restructured for better navigation. Found a broken link or have feedback to share? Let us know
here.arrow-up-right
search
Ctrlk

SetFont

hashtag
Description

Setup font. This dialog allows you to customize the font used in listings.

Select font for: Listings

Last updated

Was this helpful?