Profile: store animation speed in profile object

When exporting dive pictures we don't want animations. Therefore,
store the animation speed in the profile object to avoid nasty
hacks with the preferences.

This actually removes such a hack. Pictures and tooltips for now
still use the values stored in the preferences, because their
animations happen only on user-interactions.

Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>

1 files changed, 1 insertions, 0 deletions

diff --git a/profile-widget/profilewidget2.h b/profile-widget/profilewidget2.h
index fbc43c623..fa3f7f95d 100644
--- a/profile-widget/profilewidget2.h
+++ b/profile-widget/profilewidget2.h
@@ -90,6 +90,7 @@ public:
 	void recalcCeiling();
 	void setToolTipVisibile(bool visible);
 	State currentState;
+	int animSpeed;
 
 signals:
 	void fontPrintScaleChanged(double scale);