diff options
| author | 2023-09-18 19:07:41 +0200 | |
|---|---|---|
| committer | 2023-09-18 19:07:41 +0200 | |
| commit | e7326f0af6f16cf2ff04fbac93bf296a044923f4 (patch) | |
| tree | 05a309b7faf7a8b6f8c609c128dffa996660f1e4 /src | |
| parent | 8446fe6de52fa68077d23d39f728f79a29b52f00 (diff) | |
| download | iced-e7326f0af6f16cf2ff04fbac93bf296a044923f4.tar.gz iced-e7326f0af6f16cf2ff04fbac93bf296a044923f4.tar.bz2 iced-e7326f0af6f16cf2ff04fbac93bf296a044923f4.zip  | |
Flesh out the `editor` example a bit more
Diffstat (limited to '')
| -rw-r--r-- | src/settings.rs | 8 | 
1 files changed, 8 insertions, 0 deletions
diff --git a/src/settings.rs b/src/settings.rs index d9778d7e..6b9ce095 100644 --- a/src/settings.rs +++ b/src/settings.rs @@ -2,6 +2,8 @@  use crate::window;  use crate::{Font, Pixels}; +use std::borrow::Cow; +  /// The settings of an application.  #[derive(Debug, Clone)]  pub struct Settings<Flags> { @@ -21,6 +23,9 @@ pub struct Settings<Flags> {      /// [`Application`]: crate::Application      pub flags: Flags, +    /// The fonts to load on boot. +    pub fonts: Vec<Cow<'static, [u8]>>, +      /// The default [`Font`] to be used.      ///      /// By default, it uses [`Family::SansSerif`](crate::font::Family::SansSerif). @@ -62,6 +67,7 @@ impl<Flags> Settings<Flags> {              flags,              id: default_settings.id,              window: default_settings.window, +            fonts: default_settings.fonts,              default_font: default_settings.default_font,              default_text_size: default_settings.default_text_size,              antialiasing: default_settings.antialiasing, @@ -79,6 +85,7 @@ where              id: None,              window: Default::default(),              flags: Default::default(), +            fonts: Default::default(),              default_font: Default::default(),              default_text_size: Pixels(16.0),              antialiasing: false, @@ -93,6 +100,7 @@ impl<Flags> From<Settings<Flags>> for iced_winit::Settings<Flags> {              id: settings.id,              window: settings.window.into(),              flags: settings.flags, +            fonts: settings.fonts,              exit_on_close_request: settings.exit_on_close_request,          }      }  | 
