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`.
This commit is contained in:
Ian Douglas Scott 2023-08-03 13:12:32 -07:00 committed by GitHub
parent a223b60a0c
commit 54d47a1b38
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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.