Texifier macOS 1.7.13
  • Bugfix for a file switching error that could occur during scroll