This file is indexed.

/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;
            }
        }
    }
}