src/Tools/Graphview/graph_panel.scala
changeset 59460 3a357fef24e8
parent 59459 985fc55e9f27
child 59461 6eabc60641a6
equal deleted inserted replaced
59459:985fc55e9f27 59460:3a357fef24e8
    38 
    38 
    39       gfx.setColor(graphview.background_color)
    39       gfx.setColor(graphview.background_color)
    40       gfx.fillRect(0, 0, peer.getWidth, peer.getHeight)
    40       gfx.fillRect(0, 0, peer.getWidth, peer.getHeight)
    41 
    41 
    42       gfx.transform(Transform())
    42       gfx.transform(Transform())
    43       graphview.paint_all_visible(gfx)
    43       graphview.paint(gfx)
    44     }
    44     }
    45   }
    45   }
    46 
    46 
    47   def set_preferred_size()
    47   def set_preferred_size()
    48   {
    48   {