fix

repertory/repertory/src/ui/mgmt_app_config.cpp

@@ -205,6 +205,15 @@ void mgmt_app_config::save() const {
   }
 }
 
+void mgmt_app_config::set_animations(bool animations) {
+  if (animations_ == animations) {
+    return;
+  }
+
+  animations_ = animations;
+  save();
+}
+
 void mgmt_app_config::set_api_password(std::string_view api_password) {
   if (api_password_ == std::string{api_password}) {
     return;