search

jabranham / mixed-pitch

Moved to gitlab
https://gitlab.com/jabranham/mixed-pitch
GNU General Public License v3.0
23 stars 3 forks source link

Suggestion: add faces for diff mode #3

Closed brabalan closed 6 years ago

brabalan commented 6 years ago

I have added the following faces to have diffs displayed nicely in email messages. Maybe you could add them as default as well:

jabranham commented 6 years ago

Thanks! I added the diff faces. I left whitespace-space out since it would look quite weird to have fixed-pitch whitespace with variable-pitch font otherwise, if people wanted to use whitespace-mode in e.g. test-mode.

On Fri 09 Mar 2018 at 03:27, Alan Schmitt notifications@github.com wrote:

I have added the following faces to have diffs displayed nicely in email messages. Maybe you could add them as default as well:

  • diff-added
  • diff-context
  • diff-file-header
  • diff-function
  • diff-header
  • diff-hunk-header
  • diff-removed
  • whitespace-space
brabalan commented 6 years ago

Thank you. I understand regarding whitespace, although it's unfortunate diff uses it to display its white spaces.