equal
deleted
inserted
replaced
69 def __init__(self, req): |
69 def __init__(self, req): |
70 self._ = req._ |
70 self._ = req._ |
71 |
71 |
72 def node_properties(self, entity): |
72 def node_properties(self, entity): |
73 """return default DOT drawing options for a state or transition""" |
73 """return default DOT drawing options for a state or transition""" |
74 return {'label': entity.dc_title(), |
74 return {'label': entity.dc_long_title(), |
75 'href': entity.absolute_url(), |
75 'href': entity.absolute_url(), |
76 'fontname': 'Courier', 'fontsize': 10, 'shape':'box', |
76 'fontname': 'Courier', 'fontsize': 10, 'shape':'box', |
77 } |
77 } |
78 |
78 |
79 def edge_properties(self, transition, fromstate, tostate): |
79 def edge_properties(self, transition, fromstate, tostate): |