Add desktop options page

This commit is contained in:
Jeremy Soller 2022-12-20 16:02:44 -07:00
parent aa7b66c925
commit 98815f5131
No known key found for this signature in database
GPG key ID: 87F211AF2BE4C2FE
3 changed files with 159 additions and 69 deletions

View file

@ -12,14 +12,14 @@ pub mod nav_bar {
$crate::iced::widget::Button::new(
$crate::widget::icon($icon, 22)
.style(if $active {
$crate::theme::Svg::SymbolicPrimary
$crate::theme::Svg::SymbolicLink
} else {
$crate::theme::Svg::Symbolic
})
)
.padding(8)
.style(if $active {
$crate::theme::Button::Primary
$crate::theme::Button::LinkActive
} else {
$crate::theme::Button::Text
})
@ -28,7 +28,7 @@ pub mod nav_bar {
$crate::iced::widget::row!(
$crate::widget::icon($icon, 16)
.style(if $active {
$crate::theme::Svg::SymbolicPrimary
$crate::theme::Svg::SymbolicLink
} else {
$crate::theme::Svg::Symbolic
}),
@ -40,7 +40,7 @@ pub mod nav_bar {
.spacing(8)
)
.style(if $active {
$crate::theme::Button::Primary
$crate::theme::Button::LinkActive
} else {
$crate::theme::Button::Text
})