settings: add dock options

This commit is contained in:
end-4
2025-07-03 22:56:45 +02:00
parent 089468393e
commit 85a9a08b43
@@ -11,38 +11,58 @@ ContentPage {
title: "Policies" title: "Policies"
ConfigRow { ConfigRow {
ColumnLayout { // Weeb policy ColumnLayout {
// Weeb policy
ContentSubsectionLabel { ContentSubsectionLabel {
text: "Weeb" text: "Weeb"
} }
ConfigSelectionArray { ConfigSelectionArray {
currentValue: Config.options.policies.weeb currentValue: Config.options.policies.weeb
configOptionName: "policies.weeb" configOptionName: "policies.weeb"
onSelected: (newValue) => { onSelected: newValue => {
Config.options.policies.weeb = newValue; Config.options.policies.weeb = newValue;
} }
options: [ options: [
{ displayName: "No", value: 0 }, {
{ displayName: "Yes", value: 1 }, displayName: "No",
{ displayName: "Closet", value: 2 } value: 0
},
{
displayName: "Yes",
value: 1
},
{
displayName: "Closet",
value: 2
}
] ]
} }
} }
ColumnLayout { // AI policy ColumnLayout {
// AI policy
ContentSubsectionLabel { ContentSubsectionLabel {
text: "AI" text: "AI"
} }
ConfigSelectionArray { ConfigSelectionArray {
currentValue: Config.options.policies.ai currentValue: Config.options.policies.ai
configOptionName: "policies.ai" configOptionName: "policies.ai"
onSelected: (newValue) => { onSelected: newValue => {
Config.options.policies.ai = newValue; Config.options.policies.ai = newValue;
} }
options: [ options: [
{ displayName: "No", value: 0 }, {
{ displayName: "Yes", value: 1 }, displayName: "No",
{ displayName: "Local only", value: 2 } value: 0
},
{
displayName: "Yes",
value: 1
},
{
displayName: "Local only",
value: 2
}
] ]
} }
} }
@@ -55,13 +75,22 @@ ContentPage {
ConfigSelectionArray { ConfigSelectionArray {
currentValue: Config.options.bar.cornerStyle currentValue: Config.options.bar.cornerStyle
configOptionName: "bar.cornerStyle" configOptionName: "bar.cornerStyle"
onSelected: (newValue) => { onSelected: newValue => {
Config.options.bar.cornerStyle = newValue; Config.options.bar.cornerStyle = newValue;
} }
options: [ options: [
{ displayName: "Hug", value: 0 }, {
{ displayName: "Float", value: 1 }, displayName: "Hug",
{ displayName: "Plain rectangle", value: 2 } value: 0
},
{
displayName: "Float",
value: 1
},
{
displayName: "Plain rectangle",
value: 2
}
] ]
} }
@@ -182,7 +211,7 @@ ContentPage {
Config.options.bar.workspaces.showNumberDelay = value; Config.options.bar.workspaces.showNumberDelay = value;
} }
} }
} }
} }
ContentSection { ContentSection {
@@ -236,6 +265,36 @@ ContentPage {
} }
} }
ContentSection {
title: "Dock"
ConfigSwitch {
text: "Enable"
checked: Config.options.dock.enable
onCheckedChanged: {
Config.options.dock.enable = checked;
}
}
ConfigRow {
uniform: true
ConfigSwitch {
text: "Hover to reveal"
checked: Config.options.dock.hoverToReveal
onCheckedChanged: {
Config.options.dock.hoverToReveal = checked;
}
}
ConfigSwitch {
text: "Pinned on startup"
checked: Config.options.dock.pinnedOnStartup
onCheckedChanged: {
Config.options.dock.pinnedOnStartup = checked;
}
}
}
}
ContentSection { ContentSection {
title: "Overview" title: "Overview"
ConfigSpinBox { ConfigSpinBox {
@@ -271,6 +330,5 @@ ContentPage {
} }
} }
} }
} }
} }