Preferences: Show more font configs and simplify interface - Githubissues

angr / angr-management

The official angr GUI.

BSD 2-Clause "Simplified" License

868 stars 109 forks source link

Preferences: Show more font configs and simplify interface #1094

Closed mborgerson closed 11 months ago

mborgerson commented 11 months ago

Show more fonts that can be configured
Unify font preview label and Change button
Moves font items into a grid
Puts the font items in a group box

Looks like this now: