Request a repaint from the TimelineRenderer if endTime changes

Previously the timeline was only repainted if the selected start time
changed. If the start time is != 0 changes of endTime unfortunately
imply changes of startTime most of the time. This is why the
effect was mostly invisible.

Task-number: QTCREATORBUG-10707
Change-Id: I21a86a4248c949f5ad630e6c5a30f8caedcbfe7e
Reviewed-by: Kai Koehne <kai.koehne@digia.com>
This commit is contained in:
Ulf Hermann
2013-11-08 16:18:48 +01:00
committed by Kai Koehne
parent debae19938
commit 08b2de2d51

View File

@@ -409,6 +409,9 @@ Rectangle {
height: root.height
property real startX: 0
onEndTimeChanged: requestPaint()
onStartXChanged: {
var newStartTime = Math.round(startX * (endTime - startTime) / flick.width) +
qmlProfilerModelProxy.traceStartTime();