From 68559f3df9089fc975042addb8100bf40c099725 Mon Sep 17 00:00:00 2001
From: Ales Erjavec <ales.erjavec@fri.uni-lj.si>
Date: Fri, 20 Oct 2023 12:26:13 +0200
Subject: [PATCH] oweditdomain: Add variable filter

---
 Orange/widgets/data/oweditdomain.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Orange/widgets/data/oweditdomain.py b/Orange/widgets/data/oweditdomain.py
index 3f20d32c8d6..3e366da7c53 100644
--- a/Orange/widgets/data/oweditdomain.py
+++ b/Orange/widgets/data/oweditdomain.py
@@ -35,6 +35,8 @@
 )
 from AnyQt.QtCore import pyqtSignal as Signal, pyqtSlot as Slot
 
+from orangewidget.utils.listview import ListViewSearch
+
 import Orange.data
 
 from Orange.preprocess.transformation import (
@@ -2051,7 +2053,7 @@ def __init__(self):
         box = gui.vBox(main, "Variables")
 
         self.variables_model = VariableListModel(parent=self)
-        self.variables_view = self.domain_view = QListView(
+        self.variables_view = self.domain_view = ListViewSearch(
             selectionMode=QListView.ExtendedSelection,
             uniformItemSizes=True,
         )