Ability to set font-size in custom themes?

Open
#2,993 2 comments 3 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
5/5
Estimated time
Over a week
Newbie friendliness
25/100
Issue type
Feature
Clarity
Needs clarification
Activity status
Stale
Tech stack
json
Domain
design

Research direction

The issue names no file, test, or entry point. First locate the custom theme format and determine whether font-size is supported or documented, then check whether a JSON Schema describes it; done means the requested setting and format documentation are clearly defined and verified.

Written by the indexing model from the issue text.

Description

area:ui-framework enhancement triaged
Discord username (optional)

No response

Describe the solution you'd like?
A property in the custom themes file to set the font-size. Possibly this is already there, but doesn't seem to be documented anywhere. Is there a JSON Schema instance to describe the full format of the custom theme file?
Is your feature request related to a problem? Please describe.
I have two displays with very different resolutions / DPIs. I need different font-sizes on each display (I see there is already an issue for this).
Additional context

No response

How important is this feature to you?

4

Warp Internal (ignore) - linear-label:770f6576-d6c0-4e4f-a259-fc64b5156087

None

Dominant language
Rust
Stars
65.1k
Forks
5.6k
PR merge metrics
PR metrics pending

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from warpdotdev/warp

All issues in warpdotdev/warp

Similar issues

More Rust issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.