blob: e0a02c39317799bb2fc186c1b7cdad8b2eba5285 (
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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
|
// 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
import QtCreator.Tracing
Rectangle {
id: overview
objectName: "Overview"
color: Theme.color(Theme.Timeline_BackgroundColor2)
property QtObject modelProxy
property QtObject zoomer
property bool recursionGuard: false
onWidthChanged: updateRangeMover()
function updateZoomer() {
if (recursionGuard)
return;
recursionGuard = true;
var newStartTime = rangeMover.rangeLeft * zoomer.traceDuration / width +
zoomer.traceStart;
var newEndTime = rangeMover.rangeRight * zoomer.traceDuration / width +
zoomer.traceStart;
if (isFinite(newStartTime) && isFinite(newEndTime) &&
newEndTime - newStartTime > zoomer.minimumRangeLength)
zoomer.setRange(newStartTime, newEndTime);
recursionGuard = false;
}
function updateRangeMover() {
if (recursionGuard)
return;
recursionGuard = true;
var newRangeX = (zoomer.rangeStart - zoomer.traceStart) * width /
zoomer.traceDuration;
var newWidth = zoomer.rangeDuration * width / zoomer.traceDuration;
var widthChanged = Math.abs(newWidth - rangeMover.rangeWidth) > 1;
var leftChanged = Math.abs(newRangeX - rangeMover.rangeLeft) > 1;
if (leftChanged)
rangeMover.rangeLeft = newRangeX;
if (leftChanged || widthChanged)
rangeMover.rangeRight = newRangeX + newWidth;
recursionGuard = false;
}
Connections {
target: zoomer
function onRangeChanged() { updateRangeMover(); }
}
TimeDisplay {
id: timebar
anchors.top: parent.top
anchors.left: parent.left
anchors.right: parent.right
textMargin: 2
height: 10
fontSize: 6
labelsHeight: 10
windowStart: zoomer.traceStart
alignedWindowStart: zoomer.traceStart
rangeDuration: zoomer.traceDuration
contentX: 0
offsetX: 0
}
Column {
anchors.top: timebar.bottom
anchors.bottom: parent.bottom
anchors.left: parent.left
anchors.right: parent.right
id: renderArea
Repeater {
model: modelProxy.models
TimelineOverviewRenderer {
model: modelData
zoomer: overview.zoomer
notes: modelProxy.notes
width: renderArea.width
height: renderArea.height / modelProxy.models.length
}
}
}
Repeater {
id: noteSigns
property var modelsById: modelProxy.models.reduce(function(prev, model) {
prev[model.modelId] = model;
return prev;
}, {});
property int vertSpace: renderArea.height / 7
property color noteColor: Theme.color(Theme.Timeline_HighlightColor)
readonly property double spacing: parent.width / zoomer.traceDuration
model: modelProxy.notes ? modelProxy.notes.count : 0
Item {
property int timelineIndex: modelProxy.notes.timelineIndex(index)
property int timelineModel: modelProxy.notes.timelineModel(index)
property double startTime: noteSigns.modelsById[timelineModel].startTime(timelineIndex)
property double endTime: noteSigns.modelsById[timelineModel].endTime(timelineIndex)
x: ((startTime + endTime) / 2 - zoomer.traceStart) * noteSigns.spacing
y: timebar.height + noteSigns.vertSpace
height: noteSigns.vertSpace * 5
width: 2
Rectangle {
color: noteSigns.noteColor
anchors.left: parent.left
anchors.right: parent.right
anchors.top: parent.top
height: noteSigns.vertSpace * 3
}
Rectangle {
color: noteSigns.noteColor
anchors.left: parent.left
anchors.right: parent.right
anchors.bottom: parent.bottom
height: noteSigns.vertSpace
}
}
}
// ***** child items
MouseArea {
anchors.fill: parent
function jumpTo(posX) {
var newX = posX - rangeMover.rangeWidth / 2;
if (newX < 0)
newX = 0;
if (newX + rangeMover.rangeWidth > overview.width)
newX = overview.width - rangeMover.rangeWidth;
if (newX < rangeMover.rangeLeft) {
// Changing left border will change width, so precompute right border here.
var right = newX + rangeMover.rangeWidth;
rangeMover.rangeLeft = newX;
rangeMover.rangeRight = right;
} else if (newX > rangeMover.rangeLeft) {
rangeMover.rangeRight = newX + rangeMover.rangeWidth;
rangeMover.rangeLeft = newX;
}
}
onPressed: (mouse) => {
jumpTo(mouse.x);
}
onPositionChanged: (mouse) => {
jumpTo(mouse.x);
}
}
RangeMover {
id: rangeMover
visible: modelProxy.height > 0
onRangeLeftChanged: overview.updateZoomer()
onRangeRightChanged: overview.updateZoomer()
}
}
|
