pgadmin-org / pgadmin-org/pgadmin4
Font-family customization for Menus/Editor
Nobody has claimed this yet.
- Dominant language
- Python
- Stars
- 3.8k
- Forks
- 891
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 8
Description
Describe the solution you'd like
- An option in the preferences that allows to change the font used in the Editor (Query Tool).
- And an option that allows to change the font in the user interface, apart from the editor.
Describe alternatives you've considered
Possiblity to Choose a font from:
- Google Fonts
- OR (select from the ones installed on the system)
- OR (Choose a font file on the system)
Additional context
This is a relevant feature that most text editors and sofwares have.
This feature can benefit a lot of people,
For example, a person with Dyslexia could use the dislexia font for the menus, or someone who prefers "Cascadia Mono" or "Courier New" to write SQL queries or code.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the preferences UI, Query Tool, menus, and other interface entry points named in the issue. Define the supported font source and scope from the listed alternatives, then verify that the selected font applies separately to editor text and the non-editor user interface.
Written by the indexing model from the issue text.
Assessment
- Domain
- frontend
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 30/100