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.

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

[#3386] fix(web): fix font family of the gravitino title #3387

Merged
merged 3 commits into from
May 15, 2024

Conversation

ch3yne
Copy link
Contributor

@ch3yne ch3yne commented May 14, 2024

What changes were proposed in this pull request?

Fix font family of the Gravitino title.

Before:

image

After:

image

Why are the changes needed?

Fix: #3386

Does this PR introduce any user-facing change?

Change to the true font family.

How was this patch tested?

N/A

@ch3yne ch3yne self-assigned this May 14, 2024
@ch3yne ch3yne requested a review from LauraXia123 May 15, 2024 02:15
@LauraXia123
Copy link
Collaborator

LGTM

LauraXia123
LauraXia123 previously approved these changes May 15, 2024
@LauraXia123
Copy link
Collaborator

@ch3yne please fix the conflicts

@ch3yne
Copy link
Contributor Author

ch3yne commented May 15, 2024

@ch3yne please fix the conflicts

Done.

@ch3yne ch3yne added the need backport Issues that need to backport to another branch label May 15, 2024
@LauraXia123 LauraXia123 merged commit f80aed9 into apache:main May 15, 2024
22 checks passed
github-actions bot pushed a commit that referenced this pull request May 15, 2024
### What changes were proposed in this pull request?

Fix font family of the Gravitino title.

Before:

<img width="185" alt="image"
src="https://github.com/datastrato/gravitino/assets/17310559/2e7b7b5b-9482-4343-b9ad-493aa7934014">


After:

<img width="171" alt="image"
src="https://github.com/datastrato/gravitino/assets/17310559/00b6365e-3766-4c33-898a-e84dcb5b21fd">


### Why are the changes needed?

Fix: #3386

### Does this PR introduce _any_ user-facing change?

Change to the true font family.

### How was this patch tested?

N/A
diqiu50 pushed a commit to diqiu50/gravitino that referenced this pull request Jun 13, 2024
…e#3387)

### What changes were proposed in this pull request?

Fix font family of the Gravitino title.

Before:

<img width="185" alt="image"
src="https://github.com/datastrato/gravitino/assets/17310559/2e7b7b5b-9482-4343-b9ad-493aa7934014">


After:

<img width="171" alt="image"
src="https://github.com/datastrato/gravitino/assets/17310559/00b6365e-3766-4c33-898a-e84dcb5b21fd">


### Why are the changes needed?

Fix: apache#3386

### Does this PR introduce _any_ user-facing change?

Change to the true font family.

### How was this patch tested?

N/A
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
need backport Issues that need to backport to another branch
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Bug report] UI: the font family of gravitino title text in productiton mode does not match with dev mode
2 participants