Cleaner selection without exposed filtering

This commit is contained in:
David Heinemeier Hansson
2026-05-14 11:17:33 +02:00
parent 72bd02ca89
commit dca3bfd951
+4 -4
View File
@@ -33,7 +33,7 @@ ShellRoot {
property int sliceHeight: 432 property int sliceHeight: 432
property int sliceSpacing: -30 property int sliceSpacing: -30
property int skewOffset: 28 property int skewOffset: 28
property int bottomChromeHeight: showLabels ? (filterable ? 104 : 74) : 30 property int bottomChromeHeight: showLabels ? (filterable ? 104 : 74) : (filterable ? 60 : 30)
function fileUrl(path) { function fileUrl(path) {
return "file://" + path.split("/").map(encodeURIComponent).join("/") return "file://" + path.split("/").map(encodeURIComponent).join("/")
@@ -568,14 +568,14 @@ ShellRoot {
} }
Text { Text {
visible: root.filterable visible: root.filterable && root.filterText
anchors.top: selectedLabel.bottom anchors.top: selectedLabel.bottom
anchors.topMargin: 8 anchors.topMargin: 8
anchors.horizontalCenter: carousel.horizontalCenter anchors.horizontalCenter: carousel.horizontalCenter
width: root.expandedWidth width: root.expandedWidth
text: root.filterText ? ("Filter: " + root.filterText + " (" + root.matchingCount() + ")") : "Type to filter" text: root.filterText
color: root.foreground color: root.foreground
opacity: root.filterText ? 0.85 : 0.55 opacity: 0.85
style: Text.Outline style: Text.Outline
styleColor: root.withAlpha(root.background, 0.7) styleColor: root.withAlpha(root.background, 0.7)
font.pixelSize: 14 font.pixelSize: 14