-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
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
Decrease issue font size in project template #28054
Merged
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
GiteaBot
added
the
lgtm/need 2
This PR needs two approvals by maintainers to be considered for merging.
label
Nov 14, 2023
pull-request-size
bot
added
the
size/XS
Denotes a PR that changes 0-9 lines, ignoring generated files.
label
Nov 14, 2023
delvh
approved these changes
Nov 15, 2023
GiteaBot
added
lgtm/need 1
This PR needs approval from one additional maintainer to be merged.
and removed
lgtm/need 2
This PR needs two approvals by maintainers to be considered for merging.
labels
Nov 15, 2023
Maybe use 16px like GitHub? Note this does affect pinned issues too. |
16 is upper limit for me, anyway better when 18 |
Checking GH further, they have 14px 400weight on probject board titles but 16px 600weight on issue pins. |
lunny
approved these changes
Nov 19, 2023
GiteaBot
added
lgtm/done
This PR has enough approvals to get merged. There are no important open reservations anymore.
and removed
lgtm/need 1
This PR needs approval from one additional maintainer to be merged.
labels
Nov 19, 2023
lunny
added
the
reviewed/wait-merge
This pull request is part of the merge queue. It will be merged soon.
label
Nov 19, 2023
GiteaBot
removed
the
reviewed/wait-merge
This pull request is part of the merge queue. It will be merged soon.
label
Nov 19, 2023
zjjhot
added a commit
to zjjhot/gitea
that referenced
this pull request
Nov 20, 2023
* upstream/main: [skip ci] Updated translations via Crowdin Update JS and PY dependencies (go-gitea#28120) Decrease issue font size in project template (go-gitea#28054) Require clear descriptions both for feature and breaking PRs prior to the merge (go-gitea#28112) add skip ci functionality (go-gitea#28075) Fix project counter in organization/individual profile (go-gitea#28068) Fix Show/hide filetree button on small displays (go-gitea#27881) Change default size of attachments and repo files (go-gitea#28100) Fix Matrix and MSTeams nil dereference (go-gitea#28089)
fuxiaohei
pushed a commit
to fuxiaohei/gitea
that referenced
this pull request
Jan 17, 2024
I propose to decrease font size. 18 is too big and looks ugly, on windows. 14 is on par with other elements and save a bit of space. ![image](https://github.com/go-gitea/gitea/assets/13328513/bc41f65d-8f48-4fd9-8e3b-d7a73967b0aa) ![image](https://github.com/go-gitea/gitea/assets/13328513/70e78919-9b9b-4f57-a491-d746ea59c048) Co-authored-by: Nikolay Kobzarev <n.kobzarev@aeronavigator.ru>
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
I propose to decrease font size. 18 is too big and looks ugly, on windows. 14 is on par with other elements and save a bit of space.