#NEWLINE# def show_detail( render , edges_coordinates , fn = None ) : #NEWLINE# #INDENT# render . clear_canvas ( ) #NEWLINE# render_circle = render . circle #NEWLINE# small = ( render . pix * 3.0 ) #NEWLINE# large = ( render . pix * 10.0 ) #NEWLINE# render . set_line_width ( render . pix ) #NEWLINE# for vv in edges_coordinates : #NEWLINE# #INDENT# render . set_front ( [ 1 , 0 , 0 , 0.4 ] ) #NEWLINE# render_circle ( vv [ 0 ] , vv [ 1 ] , r = large , fill = False ) #NEWLINE# render_circle ( vv [ 2 ] , vv [ 3 ] , r = large , fill = False ) #NEWLINE# render . set_front ( [ 0 , 0 , 0 , 0.8 ] ) #NEWLINE# render_circle ( vv [ 0 ] , vv [ 1 ] , r = small , fill = True ) #NEWLINE# render_circle ( vv [ 2 ] , vv [ 3 ] , r = small , fill = True ) #NEWLINE# #UNINDENT# if fn : #NEWLINE# #INDENT# render . write_to_png ( fn )