Advanced Search

Question: how to change font size in the code edit region

Question:how to change font size in the code edit region

tedh 0 Maple 2025
font code-edit-region
3 hours ago
0

The default font size in the code edit region box of my worksheet is too small. I would like to change it without changing font sizes outside of the code edit region. I would be glad if I could do this within an individual worksheet, but it would be better if I could make this global in Maple 2025.

There doesn't seem to be any obvious way of doing this?
Please Wait...