gitextensions / GitExtensionsDoc

The new Git Extensions Manual repository
https://git-extensions-documentation.readthedocs.org/
32 stars 47 forks source link

Document diff appearance and Git coloring #150

Closed gerhardol closed 2 months ago

gerhardol commented 6 months ago

Basically what was implemented in https://github.com/gitextensions/gitextensions/pull/11677 and https://github.com/gitextensions/gitextensions/pull/11590

See build in https://git-extensions-documentation.readthedocs.io/en/tmp-4.3/settings.html#diff-appearance (with a few additional changes).

@pmiossec suggested the UI was updated, it may be a followup. I prefer to merge this PR first though...

pmiossec commented 6 months ago

Have a look at the changes I have pushed. I think that fixes some issues...

gerhardol commented 6 months ago

Have a look at the changes I have pushed. I think that fixes some issues...

Thanks. I aligned the links to Git documentation some more, but did not add the anchors to the display test for the others. Instead of your GitDiff display text I changed to the existing use of "git diff", could be git-diff too (as in the url).

gerhardol commented 2 months ago

Reminder about this pr that describes some changes in master. @gitextensions/git-extensions-source

gerhardol commented 2 months ago

Cleaned up the commits, the latest updates had been pushed to #151 (separately approved)