diff options
author | Ville Hakulinen <ville.hakulinen@gmail.com> | 2020-08-12 21:28:37 +0300 |
---|---|---|
committer | Ville Hakulinen <ville.hakulinen@gmail.com> | 2020-08-12 21:28:37 +0300 |
commit | e0c17550a846c0e49146ca497951be0d3d332f10 (patch) | |
tree | 02613b94b12ee085b17af4ff711917cae95227c0 | |
parent | 20f1de34a0272ea32eb714daa784732699109fd8 (diff) |
Use safer gtk settings api
-rw-r--r-- | src/main.rs | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/main.rs b/src/main.rs index f33f4c7..a636ea6 100644 --- a/src/main.rs +++ b/src/main.rs @@ -24,6 +24,7 @@ extern crate pangocairo; extern crate webkit2gtk; use gio::prelude::*; +use gtk::SettingsExt; use log::error; @@ -229,12 +230,7 @@ fn main() { if opts.prefer_dark_theme { if let Some(settings) = gtk::Settings::get_default() { - if let Err(err) = settings.set_property( - "gtk-application-prefer-dark-theme", - &true.to_value(), - ) { - error!("Failed to set gtk-application-prefer-dark-theme setting: {}", err); - } + settings.set_property_gtk_application_prefer_dark_theme(true); } } |