just shipped an update that pauses gifs during panning and painting . so basically you can hold down shift to pause gifs