Skip to content

Use monospace font in githook editor - #1958

Merged
lunny merged 1 commit into
go-gitea:masterfrom
silverwind:githooks-mono
Jun 13, 2017
Merged

Use monospace font in githook editor#1958
lunny merged 1 commit into
go-gitea:masterfrom
silverwind:githooks-mono

Conversation

@silverwind

Copy link
Copy Markdown
Member

Before:

screen shot 2017-06-13 at 00 34 07

After:

screen shot 2017-06-13 at 00 34 17

Unfortunately, there was no fitting semantic ui rule, so I had to add a custom one.

@lunny lunny added this to the 1.2.0 milestone Jun 13, 2017
@lunny lunny added type/enhancement An improvement of existing functionality topic/ui Change the appearance of the Gitea UI labels Jun 13, 2017
@lunny

lunny commented Jun 13, 2017

Copy link
Copy Markdown
Member

LGTM

@tboerger tboerger added the lgtm/need 1 This PR needs approval from one additional maintainer to be merged. label Jun 13, 2017
@ethantkoenig

Copy link
Copy Markdown
Member

LGTM

@tboerger tboerger 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 Jun 13, 2017
@lunny
lunny merged commit 0168b70 into go-gitea:master Jun 13, 2017
@go-gitea go-gitea locked and limited conversation to collaborators Nov 23, 2020
@silverwind
silverwind deleted the githooks-mono branch March 26, 2026 18:50
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. topic/ui Change the appearance of the Gitea UI type/enhancement An improvement of existing functionality

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants