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