Skip to content

Commit font #43

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

Merged
merged 2 commits into from
Jul 6, 2013
Merged

Commit font #43

merged 2 commits into from
Jul 6, 2013

Conversation

jbialobr
Copy link
Member

@jbialobr jbialobr commented Jul 5, 2013

Change the font used for the commit messege in the commit dialog.
or
Change the font used for entering a commit messege in the commit dialog.
?

@rthorp
Copy link

rthorp commented Jul 5, 2013

I prefer the second one (however, change messege to message).

It tells you explicitly when the font is used.

@rthorp
Copy link

rthorp commented Jul 6, 2013

Looks good.

jbialobr added a commit that referenced this pull request Jul 6, 2013
@jbialobr jbialobr merged commit 04d0247 into release/2.47 Jul 6, 2013
@RussKie RussKie deleted the jb/update/2.47 branch January 30, 2018 11:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants