Modify ↓
Opened 21 years ago
Closed 21 years ago
#361 closed defect (fixed)
Missing header in wiki diffs
| Reported by: | Owned by: | daniel | |
|---|---|---|---|
| Priority: | normal | Milestone: | 0.7 |
| Component: | wiki system | Version: | devel |
| Severity: | normal | Keywords: | |
| Cc: | Branch: | ||
| Release Notes: | |||
| API Changes: | |||
| Internal Changes: | |||
Description
Changeset [486] broke the header display for Wiki diffs.
Patch inline:
Index: Wiki.py
===================================================================
--- Wiki.py (revision 495)
+++ Wiki.py (working copy)
@@ -661,7 +661,7 @@
% (version, pagename),
'Page Not Found')
filtr = DiffColorizer(self.req.hdf, 'wiki.diff')
- filtr.writeline('header %s version %d | %s version %d header' %
+ filtr.writeline('header %s version %d | %s version %d redaeh' %
(pagename, version - 1, pagename, version))
try:
for line in difflib.Differ().compare(old, new):
Attachments (0)
Change History (2)
comment:1 by , 21 years ago
| Owner: | changed from to |
|---|---|
| Status: | new → assigned |
comment:2 by , 21 years ago
| Resolution: | → fixed |
|---|---|
| Status: | assigned → closed |
Note:
See TracTickets
for help on using tickets.



Fixed in [501]. Thanks for the patch. :)