From a0803f3308280bc319b88829bddea6e9623a595d Mon Sep 17 00:00:00 2001
From: Janne Koschinski <janne@kuschku.de>
Date: Sun, 18 Sep 2016 23:36:11 +0200
Subject: [PATCH] Fixed a minor issue where closing currently open buffers did
not work correctly.
---
res/search.js | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/res/search.js b/res/search.js
index 4d57a80..0c96b81 100644
--- a/res/search.js
+++ b/res/search.js
@@ -309,7 +309,8 @@ var deselect_buffers = function (except) {
unselect_contexts(key);
render.buffer.update(key);
}
- })
+ });
+ state.open = [];
};
var unselect_contexts = function (bufferid) {
@@ -328,7 +329,7 @@ var make_toggle_buffer = function (id) {
state.open.pop();
state.buffers[id].selected = false;
} else {
- deselect_buffers();
+ deselect_buffers(id);
state.open.push(make_toggle_buffer(id));
state.buffers[id].selected = true;
}
@@ -346,6 +347,7 @@ var make_toggle_context = function (buffer, id) {
context.selected = false;
state.open.pop();
} else {
+ deselect_buffers(buffer);
unselect_contexts(buffer);
if (!state.buffers[buffer].selected) {
state.open.push(make_toggle_buffer(buffer));
--
GitLab