2022-11-10 01:10:28 +01:00
|
|
|
//! Change the apperance of a slider.
|
2023-05-23 12:26:16 +02:00
|
|
|
use iced_core::{BorderRadius, Color};
|
2020-01-07 00:28:08 +01:00
|
|
|
|
|
|
|
|
/// The appearance of a slider.
|
|
|
|
|
#[derive(Debug, Clone, Copy)]
|
2022-05-26 23:07:34 +02:00
|
|
|
pub struct Appearance {
|
2022-11-10 01:10:28 +01:00
|
|
|
/// The colors of the rail of the slider.
|
2023-01-06 14:55:09 +13:00
|
|
|
pub rail: Rail,
|
2022-11-10 01:10:28 +01:00
|
|
|
/// The appearance of the [`Handle`] of the slider.
|
2020-01-07 00:28:08 +01:00
|
|
|
pub handle: Handle,
|
|
|
|
|
}
|
|
|
|
|
|
2023-01-06 14:55:09 +13:00
|
|
|
/// The appearance of a slider rail
|
|
|
|
|
#[derive(Debug, Clone, Copy)]
|
|
|
|
|
pub struct Rail {
|
|
|
|
|
/// The colors of the rail of the slider.
|
|
|
|
|
pub colors: (Color, Color),
|
2023-04-12 05:27:32 +02:00
|
|
|
/// The width of the stroke of a slider rail.
|
|
|
|
|
pub width: f32,
|
2023-06-01 10:46:33 +02:00
|
|
|
/// The border radius of the corners of the rail.
|
|
|
|
|
pub border_radius: BorderRadius,
|
2023-01-06 14:55:09 +13:00
|
|
|
}
|
|
|
|
|
|
2020-01-07 00:28:08 +01:00
|
|
|
/// The appearance of the handle of a slider.
|
|
|
|
|
#[derive(Debug, Clone, Copy)]
|
|
|
|
|
pub struct Handle {
|
2022-11-10 01:10:28 +01:00
|
|
|
/// The shape of the handle.
|
2020-01-07 00:28:08 +01:00
|
|
|
pub shape: HandleShape,
|
2022-11-10 01:10:28 +01:00
|
|
|
/// The [`Color`] of the handle.
|
2020-01-07 00:28:08 +01:00
|
|
|
pub color: Color,
|
2022-11-10 01:10:28 +01:00
|
|
|
/// The border width of the handle.
|
2020-11-23 00:31:50 +01:00
|
|
|
pub border_width: f32,
|
2022-11-10 01:10:28 +01:00
|
|
|
/// The border [`Color`] of the handle.
|
2020-01-07 00:28:08 +01:00
|
|
|
pub border_color: Color,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// The shape of the handle of a slider.
|
|
|
|
|
#[derive(Debug, Clone, Copy)]
|
|
|
|
|
pub enum HandleShape {
|
2022-11-10 01:10:28 +01:00
|
|
|
/// A circular handle.
|
|
|
|
|
Circle {
|
|
|
|
|
/// The radius of the circle.
|
|
|
|
|
radius: f32,
|
|
|
|
|
},
|
|
|
|
|
/// A rectangular shape.
|
|
|
|
|
Rectangle {
|
|
|
|
|
/// The width of the rectangle.
|
|
|
|
|
width: u16,
|
|
|
|
|
/// The border radius of the corners of the rectangle.
|
2023-05-23 12:26:16 +02:00
|
|
|
border_radius: BorderRadius,
|
2022-11-10 01:10:28 +01:00
|
|
|
},
|
2020-01-07 00:28:08 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// A set of rules that dictate the style of a slider.
|
|
|
|
|
pub trait StyleSheet {
|
2022-11-10 01:10:28 +01:00
|
|
|
/// The supported style of the [`StyleSheet`].
|
2022-11-09 04:05:31 +01:00
|
|
|
type Style: Default;
|
2022-05-26 00:40:27 +02:00
|
|
|
|
2020-01-07 00:28:08 +01:00
|
|
|
/// Produces the style of an active slider.
|
2022-11-09 04:05:31 +01:00
|
|
|
fn active(&self, style: &Self::Style) -> Appearance;
|
2020-01-07 00:28:08 +01:00
|
|
|
|
|
|
|
|
/// Produces the style of an hovered slider.
|
2022-11-09 04:05:31 +01:00
|
|
|
fn hovered(&self, style: &Self::Style) -> Appearance;
|
2020-01-07 00:28:08 +01:00
|
|
|
|
|
|
|
|
/// Produces the style of a slider that is being dragged.
|
2022-11-09 04:05:31 +01:00
|
|
|
fn dragging(&self, style: &Self::Style) -> Appearance;
|
2020-01-07 00:28:08 +01:00
|
|
|
}
|