From 54d47a1b38e0cbb4306afad74ce4980957ff042f Mon Sep 17 00:00:00 2001
From: Ian Douglas Scott <idscott@system76.com>
Date: Thu, 3 Aug 2023 13:12:32 -0700
Subject: [PATCH] app/settings: Don't use `strip_option` (#137)

Since these don't default to `None`, and the fields aren't public, using
`strip_option` makes it impossible to change them to `None`.
---
 src/app/settings.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/app/settings.rs b/src/app/settings.rs
index 42b42a1..1960663 100644
--- a/src/app/settings.rs
+++ b/src/app/settings.rs
@@ -26,7 +26,7 @@ pub struct Settings {
     pub(crate) default_font: Font,
 
     /// Name of the icon theme to search by default.
-    #[setters(strip_option, into)]
+    #[setters(into)]
     pub(crate) default_icon_theme: Option<String>,
 
     /// Default size of fonts.
@@ -34,7 +34,6 @@ pub struct Settings {
 
     /// Whether the window should be resizable or not.
     /// and the size of the window border which can be dragged for a resize
-    #[setters(strip_option)]
     pub(crate) resizable: Option<f64>,
 
     /// Scale factor to use by default.