web/views/workflow.py
changeset 8216 99ff746e8de8
parent 8190 2a3c1b787688
parent 8203 e0efa7583221
child 8482 0044a29ea118
equal deleted inserted replaced
8214:ce9556358dbd 8216:99ff746e8de8
   396             props['style'] = 'filled'
   396             props['style'] = 'filled'
   397             if stateortransition.reverse_initial_state:
   397             if stateortransition.reverse_initial_state:
   398                 props['fillcolor'] = '#88CC88'
   398                 props['fillcolor'] = '#88CC88'
   399         else:
   399         else:
   400             props['shape'] = 'ellipse'
   400             props['shape'] = 'ellipse'
   401             descr = []
       
   402             tr = stateortransition
       
   403             if descr:
       
   404                 props['label'] += escape('\n'.join(descr))
       
   405         return props
   401         return props
   406 
   402 
   407 
   403 
   408 class WorkflowVisitor(object):
   404 class WorkflowVisitor(object):
   409     def __init__(self, entity):
   405     def __init__(self, entity):