From 42b964217cdbc3d3a1774a9c0233b1be95a5409b Mon Sep 17 00:00:00 2001 From: eidheim Date: Sun, 26 Jul 2015 17:10:51 +0200 Subject: [PATCH] Minor fix to search. --- juci/notebook.cc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/juci/notebook.cc b/juci/notebook.cc index 0d358f0..526a574 100644 --- a/juci/notebook.cc +++ b/juci/notebook.cc @@ -198,8 +198,10 @@ void Notebook::Controller::show_search_and_replace() { CurrentSourceView()->search_highlight(search_entry_it->get_text(), case_sensitive_search, regex_search); }); entry_box.signal_hide().connect([this]() { - for(int c=0;cview->update_search_occurrences=nullptr; source_views.at(c)->view->search_highlight("", case_sensitive_search, regex_search); + } search_entry_shown=false; }); search_entry_shown=true;