--- a/ImageEditor.st Fri Jan 17 04:27:22 2020 +0000
+++ b/ImageEditor.st Fri Jan 17 19:51:35 2020 +0100
@@ -554,13 +554,13 @@
'Toggle between left and right mouse button color'
#nextImageInSequence
-'Go to the next image in the animated gif image sequence.'
+'Go to the next image in the image sequence.'
#previewView
'Shows a preview of the image'
#previousImageInSequence
-'Go to the previous image in the animated gif image sequence.'
+'Go to the previous image in the image sequence.'
#resetHueShift
'Reset the hue shift to zero (for unchanged hue)'