(grid_ws=None, grid_hs=None, offset=None)
| 121 | grid_height = 0 |
| 122 | scroll_offset = 0 |
| 123 | def scale_lines(grid_ws=None, grid_hs=None, offset=None): |
| 124 | global grid_width, grid_height, scroll_offset |
| 125 | |
| 126 | if grid_ws: |
| 127 | grid_width = grid_ws |
| 128 | else: |
| 129 | grid_ws = grid_width |
| 130 | |
| 131 | if grid_hs: |
| 132 | grid_height = grid_hs |
| 133 | else: |
| 134 | grid_hs = grid_height |
| 135 | |
| 136 | if offset: |
| 137 | scroll_offset = offset |
| 138 | else: |
| 139 | offset = scroll_offset |
| 140 | |
| 141 | scale = 2.04/grid_hs |
| 142 | lines[0].scale.set(scale, scale, scale) |
| 143 | lines[1].scale.set(scale, scale, scale) |
| 144 | lines[0].position.set((offset - grid_ws/2) * scale, -grid_hs/2 * scale, 0) |
| 145 | lines[1].position.set((offset + grid_ws/2) * scale, -grid_hs/2 * scale, 0) |
| 146 | |
| 147 | def append_p(lines, p1, p2): |
| 148 | lines.append(p1[0]) |
no test coverage detected