Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Customize fonts #650

Open
2 tasks done
abrendtro opened this issue Jan 23, 2023 · 0 comments
Open
2 tasks done

Customize fonts #650

abrendtro opened this issue Jan 23, 2023 · 0 comments
Labels
enhancement
Milestone
v0.12.0

Comments

@abrendtro
Copy link

abrendtro commented Jan 23, 2023 •
edited

  • I am on the latest Cerebro.app version
  • I have searched the issues of this repo and believe that this is not a duplicate
  • OS version and name: Ubuntu Linux 22.04
  • Cerebro.app version: 0.10.0
  • Relevant information from devtools (See above how to open it): N/A

Issue

Out of the box, Cerebro doesn't look great. For most system utilites, I use a monospace font, and a configuration file / settings option for changing the font name and size would be appreciated. Thanks!
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
v0.12.0
Development

No branches or pull requests
2 participants
@ogustavo-pereira @abrendtro