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:


Regards, Mads Dørup

On Sun, Jul 21, 2013 at 2:25 PM, Mads Dørup <m...@dorup.dk> 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 majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to