ISISComputingGroup / ISISComputingGroup/IBEX
GUI: Change the font in pydev
Open
5
- Dominant language
- No language data
- Stars
- 6
- Forks
- 2
- Avg merge
- 16h 40m
- Merged PRs (30d)
- 2
Description
Allow the user to change the font in the scripting window. It can be quite hard to read at times.
The Vesuvio team asked for this let them know when it is done.
### Acceptance Criteria
- Discussion: to decide how best attack it and documented decision
- User can easily change the font size between small and large (if really easy a +- button to increase decrease size)
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.