From d8820edd7dbe79bd3342bdc483dca18d4a37a075 Mon Sep 17 00:00:00 2001 From: Jesper Date: Wed, 12 Jun 2024 10:35:31 +0200 Subject: [PATCH] Fuzzy search setting --- usr/lib/linuxmint/mintMenu/preferences.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/usr/lib/linuxmint/mintMenu/preferences.py b/usr/lib/linuxmint/mintMenu/preferences.py index fd92981..2d19b04 100755 --- a/usr/lib/linuxmint/mintMenu/preferences.py +++ b/usr/lib/linuxmint/mintMenu/preferences.py @@ -134,8 +134,10 @@ class mintMenuPreferences(): section.add_row(GSettingsSwitch(_("Search for packages to install"), "com.linuxmint.mintmenu.plugins.applications", "use-apt")) section.add_row(GSettingsSwitch(_("Remember the last category or search"), "com.linuxmint.mintmenu.plugins.applications", "remember-filter")) section.add_row(GSettingsSwitch(_("Enable Internet search"), "com.linuxmint.mintmenu.plugins.applications", "enable-internet-search")) + section.add_row(GSettingsSwitch(_("Enable Fuzzy Search"), "com.linuxmint.mintmenu.plugins.applications", "enable-fuzzy-search")) section.add_row(GSettingsEntry(_("Search command"), "com.linuxmint.mintmenu.plugins.applications", "search-command")) + page = SettingsPage() self.builder.get_object("box_favorites").add(page)