← Back to branch summary

~widelands-dev/widelands-website/django_staticfiles

« back to all changes in this revision

Viewing changes to diff_match_patch.py

  • Committer: janus at jhor
  • Date: 2010-10-30 18:33:48 UTC
  • mto: This revision was merged to the branch mainline in revision 218.
  • Revision ID: janus@jhor.de-20101030183348-ohbutxdn7drj1w5v
fix wiki edit history style, fix new style

Show diffs side-by-side

added added

removed removed

Lines of Context:
diff_match_patch.py
1006
1006
      text = (data.replace("&", "&amp;").replace("<", "&lt;")
1007
1007
                 .replace(">", "&gt;").replace("\n", "&para;<BR>"))
1008
1008
      if op == self.DIFF_INSERT:
1009
 
        html.append("<INS STYLE=\"color: #00FF00;\" TITLE=\"i=%i\">%s</INS>"
 
1009
        html.append("<SPAN STYLE=\"color: #00FF00;\" TITLE=\"i=%i\">%s</SPAN>"
1010
1010
            % (i, text))
1011
1011
      elif op == self.DIFF_DELETE:
1012
 
        html.append("<DEL STYLE=\"color: #FF0000;\" TITLE=\"i=%i\">%s</DEL>"
 
1012
        html.append("<SPAN STYLE=\"color: #FF0000;\" TITLE=\"i=%i\">%s</SPAN>"
1013
1013
            % (i, text))
1014
1014
      elif op == self.DIFF_EQUAL:
1015
1015
        html.append("<SPAN TITLE=\"i=%i\">%s</SPAN>" % (i, text))