Merge pull request #892 from MKadaner/mzk/gh-763/history-menu-refresh

gh-763: Fixed drawing of History menu border after refresh (`Ctrl+R`) and clear (`Del`).
FarGroup · Dec 20, 2024 · 029e057 · 029e057
2 parents 9b7db07 + 39c6158
commit 029e057
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 4 deletions.
diff --git a/far/changelog b/far/changelog
@@ -1,3 +1,9 @@
+--------------------------------------------------------------------------------
+MZK 2024-12-19 16:56:14-05:00 - build 6403
+
+1. gh-763: Fixed drawing of History menu border after refresh (`Ctrl+R`)
+   and clear (`Del`).
+
 --------------------------------------------------------------------------------
 drkns 2024-12-14 12:19:57+00:00 - build 6402
 

diff --git a/far/history.cpp b/far/history.cpp
@@ -352,7 +352,7 @@ history_return_type History::ProcessMenu(string& strStr, UUID* const Uuid, strin
 			SetUpMenuPos=false;
 		}
 
-		HistoryMenu.Redraw();
+		HistoryMenu.Show();
 
 		MenuExitCode=HistoryMenu.Run([&](const Manager::Key& RawKey)
 		{

diff --git a/far/vbuild.m4 b/far/vbuild.m4
@@ -1 +1 @@
-6402
+6403
diff --git a/far/vmenu.hpp b/far/vmenu.hpp
@@ -209,8 +209,6 @@ class VMenu final: public Modal
 	void RestoreFilteredItems();
 	void FilterStringUpdated();
 	void FilterUpdateHeight(bool bShrink = false);
-	void SetFilterEnabled(bool bEnabled) { bFilterEnabled = bEnabled; }
-	void SetFilterLocked(bool bLocked) { bFilterEnabled = bLocked; }
 	bool AddToFilter(string_view Str);
 	size_t size() const { return Items.size(); }
 	bool empty() const { return Items.empty(); }