blob: 80ad4fc18a0eb3a5dea2693f58355683eead93e6 (
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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
/****************************************************************************
**
** Copyright (C) 2016 The Qt Company Ltd.
** Contact: https://www.qt.io/licensing/
**
** This file is part of Qt Creator.
**
** Commercial License Usage
** Licensees holding valid commercial Qt licenses may use this file in
** accordance with the commercial license agreement provided with the
** Software or, alternatively, in accordance with the terms contained in
** a written agreement between you and The Qt Company. For licensing terms
** and conditions see https://www.qt.io/terms-conditions. For further
** information use the contact form at https://www.qt.io/contact-us.
**
** GNU General Public License Usage
** Alternatively, this file may be used under the terms of the GNU
** General Public License version 3 as published by the Free Software
** Foundation with exceptions as appearing in the file LICENSE.GPL3-EXCEPT
** included in the packaging of this file. Please review the following
** information to ensure the GNU General Public License requirements will
** be met: https://www.gnu.org/licenses/gpl-3.0.html.
**
****************************************************************************/
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;
}
}
}
|
