equal
deleted
inserted
replaced
28 |
28 |
29 #------------------------------------------------------------------------------- |
29 #------------------------------------------------------------------------------- |
30 # Viewer RubberBand |
30 # Viewer RubberBand |
31 #------------------------------------------------------------------------------- |
31 #------------------------------------------------------------------------------- |
32 |
32 |
33 """ |
|
34 Class that implements a rubberband for graphic Viewers |
|
35 """ |
|
36 |
33 |
37 class RubberBand: |
34 class RubberBand: |
|
35 """ |
|
36 Class that implements a rubberband for graphic Viewers |
|
37 """ |
38 |
38 |
39 def __init__(self, viewer): |
39 def __init__(self, viewer): |
40 """ |
40 """ |
41 Constructor |
41 Constructor |
42 @param viewer: Viewer on which rubberband must be drawn |
42 @param viewer: Viewer on which rubberband must be drawn |