From 2721b9145d8b0f6976e20833b3898bebd546ec02 Mon Sep 17 00:00:00 2001 From: Maximiliano Sandoval Date: Wed, 1 Jan 2025 09:05:40 +0100 Subject: [PATCH] preferences: Set search-enabled=False In general we don't use this when there are so few preferences. --- data/resources/ui/preferences.ui | 1 - src/widgets/preferences/window.rs | 32 ------------------------------- 2 files changed, 33 deletions(-) diff --git a/data/resources/ui/preferences.ui b/data/resources/ui/preferences.ui index b7fa0aa..a2b3e2a 100644 --- a/data/resources/ui/preferences.ui +++ b/data/resources/ui/preferences.ui @@ -9,7 +9,6 @@