/usr/share/unity8/Dash/Filters/FilterValueSlider.qml is in unity8-common 8.12+16.04.20160401-0ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 | /*
* Copyright (C) 2015 Canonical, Ltd.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; version 3.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
import QtQuick 2.4
import QtQuick.Layouts 1.1
import Ubuntu.Components 1.3
/*! Value Slider Filter Widget. */
FilterWidget {
id: root
implicitHeight: childrenRect.height + units.gu(2)
Connections {
target: widgetData
// One would think that this is not needed since
// we have value: widgetData.value on the slider
// but it is, otherwise reset doesn't seem to work
onValueChanged: {
if (widgetData.value !== slider.value) {
slider.value = widgetData.value;
}
}
}
Slider {
id: slider
objectName: "slider"
anchors {
top: parent.top
topMargin: units.gu(1)
left: parent.left
leftMargin: units.gu(2)
right: parent.right
rightMargin: units.gu(2)
}
minimumValue: widgetData.minValue
maximumValue: widgetData.maxValue
value: widgetData.value
onValueChanged: {
widgetData.value = value;
}
onPressedChanged: {
if (pressed) forceActiveFocus();
}
readonly property Item thumb: __internals.thumb
readonly property real barMinusThumb: __internals.barMinusThumb
}
Repeater {
objectName: "repeater"
model: widgetData.values
delegate: Label {
anchors {
top: slider.bottom
// The slider is too tall, so move a bit up
topMargin: -units.gu(1)
}
text: label
visible: value <= widgetData.maxValue && value >= widgetData.minValue
x: {
var halfThumbDifference = (width - slider.thumb.width) / 2;
var result = (value - widgetData.minValue) * slider.barMinusThumb / (widgetData.maxValue - widgetData.minValue) - halfThumbDifference;
result = Math.max(result, 0);
result = Math.min(result, slider.width - width);
return units.gu(2) + result;
}
}
}
}
|