How to change the font in EDK's text editor?

the font in ISE's text editor could be changed and how about EDK's? I couldn't find the entry.

I saw the font in Xilinx's demo video are comfortable, but not in my EDK.

Anyone knows how to change the font? thx^_^

Reply to
Loading thread data ...

ElectronDepot website is not affiliated with any of the manufacturers or service providers discussed here. All logos and trade names are the property of their respective owners.