I've been asked to close the github pull request. So instead, to see before-and-after screenshots of this change have a look here: https://github.com/cpius/git/commit/dce145c11a89be7c795815c9bd8fe2c07a5afa7d#commitcomment-3682422 Regards, Mads Dørup On Sun, Jul 21, 2013 at 2:25 PM, Mads Dørup <mads@xxxxxxxx> wrote: > Hi there > > I've created a very small change to git gui that considerably improves > the experience on my machine at least: > > diff --git a/git-gui/macosx/Info.plist b/git-gui/macosx/Info.plist > index b3bf15f..1ade121 100644 > --- a/git-gui/macosx/Info.plist > +++ b/git-gui/macosx/Info.plist > @@ -24,5 +24,7 @@ > <string>GITg</string> > <key>CFBundleVersion</key> > <string>@@GITGUI_VERSION@@</string> > + <key>NSHighResolutionCapable</key> > + <true/> > </dict> > </plist> > > > I've read the documentation for submitting patches to git where it > says that I have to e-mail the patch to the mail list, with relevant > developers as CC. Pat are you the relevant developer for this? > > Here is a screenshot comparison of before and after the change: > > https://github.com/git/git/pull/48 > > Please let me know how to proceed to get this patch in, if you like > it. I've never contributed here before, so please me know about any > procedures I have missed. > > Regards, Mads Dørup -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html