branch: master
commit 048a9c48d3a243e5e77e094a0a29280ab9635b38
Author: Dmitry Gutov <dgu...@yandex.ru>
Commit: Dmitry Gutov <dgu...@yandex.ru>
company-search-old-map: Remove, unused
---
company.el | 2 --
1 files changed, 0 insertions(+), 2 deletions(-)
diff --git a/company.el b/company.el
index faa7c22..d0f8b7d 100644
--- a/company.el
+++ b/company.el
@@ -1571,8 +1571,6 @@ from the rest of the back-ends in the group, if any, will
be left at the end."
(defvar-local company-search-lighter " Search: \"\"")
-(defvar-local company-search-old-map nil)
-
(defvar-local company-search-old-selection 0)
(defun company-search (text lines)
