From 5bffaa8b5b0ac88ee6a911ec65cca2e4bc2aa8ca Mon Sep 17 00:00:00 2001
From: LagoLunatic <LagoLunatic@users.noreply.github.com>
Date: Thu, 28 Nov 2024 16:58:22 -0500
Subject: [PATCH] Do not clear highlighted symbol when backing out of diff view

---
 objdiff-gui/src/views/symbol_diff.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/objdiff-gui/src/views/symbol_diff.rs b/objdiff-gui/src/views/symbol_diff.rs
index eed3bbd..2e8ca50 100644
--- a/objdiff-gui/src/views/symbol_diff.rs
+++ b/objdiff-gui/src/views/symbol_diff.rs
@@ -212,7 +212,6 @@ impl DiffViewState {
                     // Ignore action if we're already navigating
                     return;
                 }
-                self.symbol_state.highlighted_symbol = (None, None);
                 let Ok(mut state) = state.write() else {
                     return;
                 };