hasufell/neovim-gtk
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix compilation warnings

Browse Source
This commit is contained in:
daa84 2017-03-14 10:48:04 +03:00
parent 7915541a7d
commit b68d2470c3
1 changed files with 9 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/settings.rs
View File

@ -10,6 +10,7 @@ use gio;
#[derive(PartialEq)]
pub enum FontSource {
Rpc,
#[cfg(unix)]
Gnome,
Default,
}
@ -23,10 +24,9 @@ pub struct Settings {
}
impl Settings {
#[cfg(unix)]
pub fn new() -> Settings {
Settings {
Settings {
font_source: FontSource::Default,
gnome_interface_settings: gio::Settings::new("org.gnome.desktop.interface"),
}
@ -34,9 +34,7 @@ impl Settings {
#[cfg(target_os = "windows")]
pub fn new() -> Settings {
Settings {
font_source: FontSource::Default,
}
Settings { font_source: FontSource::Default }
}
#[cfg(unix)]
@ -46,13 +44,7 @@ impl Settings {
}
#[cfg(target_os = "windows")]
pub fn init(&mut self, ui: &mut Ui) {
}
#[cfg(target_os = "windows")]
fn update_font(&mut self, ui: &mut Ui) {
}
pub fn init(&mut self, _: &mut Ui) {}
#[cfg(unix)]
fn update_font(&mut self, ui: &mut Ui) {
@ -61,10 +53,11 @@ impl Settings {
return;
}
if let Some(ref font_name) = self.gnome_interface_settings.get_string("monospace-font-name") {
ui.set_font_desc(font_name);
self.font_source = FontSource::Gnome;
}
if let Some(ref font_name) = self.gnome_interface_settings
.get_string("monospace-font-name") {
ui.set_font_desc(font_name);
self.font_source = FontSource::Gnome;
}
}
pub fn set_font_source(&mut self, src: FontSource) {
@ -87,4 +80,3 @@ fn monospace_font_changed() {
});
});
}