blob: 092b3b84c506a0116a2466a92de2f0f3d5d1d4b7 (
plain)
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
|
// Copyright (C) 2016 The Qt Company Ltd.
// SPDX-License-Identifier: LicenseRef-Qt-Commercial OR GPL-3.0+ OR GPL-3.0 WITH Qt-GPL-exception-1.0
import QtQuick
RangeMover {
id: selectionRange
property QtObject zoomer;
readonly property int creationInactive: 0
readonly property int creationFirstLimit: 1
readonly property int creationSecondLimit: 2
readonly property int creationFinished: 3
property bool ready: visible && creationState === creationFinished
property double viewTimePerPixel: 1
property double creationReference : 0
property int creationState : creationInactive
function reset() {
rangeRight = rangeLeft + 1;
creationState = creationInactive;
creationReference = 0;
}
function updateZoomer() {
zoomer.setSelection(rangeLeft * viewTimePerPixel + zoomer.windowStart,
rangeRight * viewTimePerPixel + zoomer.windowStart)
}
function updateRange() {
var left = (zoomer.selectionStart - zoomer.windowStart) / viewTimePerPixel;
var right = (zoomer.selectionEnd - zoomer.windowStart) / viewTimePerPixel;
if (left < rangeLeft) {
rangeLeft = left;
rangeRight = right;
} else {
rangeRight = right;
rangeLeft = left;
}
}
onRangeWidthChanged: updateZoomer()
onRangeLeftChanged: updateZoomer()
Connections {
target: zoomer
function onWindowChanged() { updateRange(); }
}
function setPos(pos) {
if (pos < 0)
pos = 0;
else if (pos > width)
pos = width;
switch (creationState) {
case creationFirstLimit:
creationReference = pos;
rangeLeft = pos;
rangeRight = pos + 1;
break;
case creationSecondLimit:
if (pos > creationReference) {
rangeLeft = creationReference;
rangeRight = pos;
} else if (pos < creationReference) {
rangeLeft = pos;
rangeRight = creationReference;
}
break;
}
}
}
|