Skip to content

Improved GPS axis tick labelling

This PR improves the labelling of scaled GPS times on an axis with a GPS scale. The key is to use Decimal for all GPS time conversions to avoid ridiculous python/numpy float precision corrections.

Merge request reports