From 972927b2acffef9c160423a4c0966280f87d4a21 Mon Sep 17 00:00:00 2001
From: "Scott E. Graves" <scott.e.graves@protonmail.com>
Date: Thu, 20 Mar 2025 22:06:22 -0500
Subject: [PATCH] refactor

---
 web/repertory/lib/widgets/ui_settings.dart | 13 ++++---------
 1 file changed, 4 insertions(+), 9 deletions(-)

diff --git a/web/repertory/lib/widgets/ui_settings.dart b/web/repertory/lib/widgets/ui_settings.dart
index 7a1fac8f..5ffcadc6 100644
--- a/web/repertory/lib/widgets/ui_settings.dart
+++ b/web/repertory/lib/widgets/ui_settings.dart
@@ -1,16 +1,13 @@
 import 'dart:convert' show jsonEncode;
 
-import 'package:collection/collection.dart';
 import 'package:flutter/material.dart';
 import 'package:http/http.dart' as http;
-import 'package:repertory/constants.dart' as constants;
 import 'package:repertory/helpers.dart'
     show
-        AuthenticationFailedException,
         convertAllToString,
         displayAuthError,
-        displayErrorMessage,
         getBaseUri,
+        getChanged,
         getSettingDescription,
         getSettingValidators,
         trimNotEmptyValidator;
@@ -104,11 +101,9 @@ class _UISettingsWidgetState extends State<UISettingsWidget> {
 
   @override
   void dispose() {
-    if (!DeepCollectionEquality().equals(
-      widget.settings,
-      widget.origSettings,
-    )) {
-      convertAllToString(widget.settings)
+    final settings = getChanged(widget.origSettings, widget.settings);
+    if (settings.isNotEmpty) {
+      convertAllToString(settings)
           .then((map) async {
             try {
               final response = await http.put(