version 3.2.5 ------------- Bugs fixed: * Media viewer: fixed progress bar behaviour in gtk+ 3.10 * Empty file format options dialog after canceling it once. (#711788) * Fixed endless image reloading for some images. * Fixed display of the manual. * Default parameters for image resizing are misleading. (Christian Krause) (#710479)