fix: keep pull request filters session-local

2026-10-21 13:56:24 +02:00
parent fbcb519e13
commit ea7c240eb6
9 changed files with 86 additions and 53 deletions
@@ -5346,8 +5346,9 @@ impl Editor {
            diff.handle(input);
            if std::mem::take(&mut diff.pull_request_preferences_changed) {
                let preferences = diff.pull_request_preferences.clone();
+                self.pull_request_preferences_changed |=
+                    self.pull_request_preferences.sort != preferences.sort;
                self.pull_request_preferences = preferences.clone();
-                self.pull_request_preferences_changed = true;
                for diff in self
                    .diff
                    .iter_mut()