Would like to be able to adjust the font size to be bigger -- I can
adjust everywhere else (the other editors), but really need to adjust the
Server panel as well.
Issue #15720 |
New |
Completion |
No due date |
No fixed build |
No time estimate |