The tiny font that WinEdt uses is giving me eyestrain. Any other windows editor/browser lets me use ctrl+mouse wheel to zoom/change font size. But not WinEdt. Is there any way to make these tiny ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback