From b1d462821a44b0ed645f6f1ede4cae7cb861ebd9 Mon Sep 17 00:00:00 2001
From: joshuaboud <joshuaboud@hotmail.com>
Date: Fri, 4 Jun 2021 15:19:27 -0300
Subject: [PATCH] ensure selected_entries is never empty

---
 navigator/navigator.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/navigator/navigator.js b/navigator/navigator.js
index 939a09c..edf1819 100644
--- a/navigator/navigator.js
+++ b/navigator/navigator.js
@@ -1272,6 +1272,9 @@ class NavWindow {
 		var to_be_selected = [];
 		if (append && this.selected_entries.has(entry)) {
 			this.selected_entries.delete(entry);
+			if (this.selected_entries.size === 0) {
+				this.clear_selected();
+			}
 		} else if (select_range && this.last_selected_index !== -1) {
 			var start = this.last_selected_index;
 			var end = this.entries.indexOf(entry);