Added nice styling of diffs in the FileDiff admin UI.

Review Request #3817 — Created Jan. 30, 2013 and submitted

Information

Review Board
master

Reviewers

Added nice styling of diffs in the FileDiff admin UI.

The FileDiff admin UI previously just showed diffs with no whitespace
preservation, which was useless. We now style it with Pygments, which is
nicer to look at.
Tested with some diffs. They looked nice.

Description From Last Updated

This should be parent_diff.label and parent_diff.allow_tags, right?

daviddavid
reviewbot
  1. This is a review from Review Bot.
      Tool: PEP8 Style Checker
      Processed Files:
        reviewboard/diffviewer/admin.py
      Ignored Files:
        reviewboard/static/rb/css/admin.less
    
    
  2. 
      
david
  1. 
      
  2. reviewboard/diffviewer/admin.py (Diff revision 1)
     
     
     
    Show all issues
    This should be parent_diff.label and parent_diff.allow_tags, right?
  3. 
      
chipx86
reviewbot
  1. This is a review from Review Bot.
      Tool: PEP8 Style Checker
      Processed Files:
        reviewboard/diffviewer/admin.py
      Ignored Files:
        reviewboard/static/rb/css/admin.less
        reviewboard/templates/admin/diffviewer/filediff/change_form.html
    
    
  2. 
      
david
  1. Ship It!
  2. 
      
chipx86
Review request changed
Status:
Completed
Change Summary:
Pushed to master (4a60ef891d44cb639f70fd9b69e78d2f4cd43b63)