1.1 --- a/viewer.py Tue Oct 31 00:44:10 2006 +0100
1.2 +++ b/viewer.py Sun Nov 12 23:40:20 2006 +0100
1.3 @@ -143,7 +143,7 @@
1.4 float: left;
1.5 }
1.6
1.7 - .non-accesses {
1.8 + .non-writes, .non-accesses {
1.9 padding: 0.5em; background-color: #FF0000;
1.10 float: right;
1.11 }
1.12 @@ -762,6 +762,8 @@
1.13 self.stream.write("</div>\n")
1.14 if hasattr(node, "non_accesses") and node.non_accesses:
1.15 self._types_list(node.non_accesses, style_class="non-accesses")
1.16 + if hasattr(node, "non_writes") and node.non_writes:
1.17 + self._types_list(node.non_writes, style_class="non-writes")
1.18
1.19 # Utility functions.
1.20