effective_scale = on-screen pixels per image pixel; the renderer's view transform multiplies geometry by this, so on-screen width = image extent × effective_scale. image_px_per_screen_px is its reciprocal.
| 51 | // transform multiplies geometry by this, so on-screen width = image extent × |
| 52 | // effective_scale. image_px_per_screen_px is its reciprocal. |
| 53 | double onScreenWidth(const std::vector<float>& geom, int axis, double effective_scale) { |
| 54 | return extent(geom, axis) * effective_scale; |
| 55 | } |
| 56 | |
| 57 | double strokeOnScreenWidth(double thickness, double effective_scale) { |
| 58 | std::vector<float> geom; |
no test coverage detected