diff options
| author | Patrick Tasse | 2012-07-19 18:06:14 +0000 |
|---|---|---|
| committer | Patrick Tasse | 2012-07-19 20:27:23 +0000 |
| commit | 9ca995aef2ee7fc3e302a9f3fc0a2525688dccbe (patch) | |
| tree | ca4d0e89047d6dc75277703f24b81f0ccd9ee0c5 | |
| parent | 44ae8801f1ffd0958844d141797d74c4a41903bb (diff) | |
| download | org.eclipse.linuxtools-9ca995aef2ee7fc3e302a9f3fc0a2525688dccbe.tar.gz org.eclipse.linuxtools-9ca995aef2ee7fc3e302a9f3fc0a2525688dccbe.tar.xz org.eclipse.linuxtools-9ca995aef2ee7fc3e302a9f3fc0a2525688dccbe.zip | |
Fix for bug 385437: Control Flow view's "Previous event" button skips
over state transition.
Change-Id: Id78590a2cf5c1398ee10d3894b56436db4732081
Reviewed-on: https://git.eclipse.org/r/6868
Reviewed-by: Alexandre Montplaisir <alexmonthy@voxpopuli.im>
IP-Clean: Alexandre Montplaisir <alexmonthy@voxpopuli.im>
Tested-by: Alexandre Montplaisir <alexmonthy@voxpopuli.im>
| -rw-r--r-- | lttng/org.eclipse.linuxtools.tmf.ui/src/org/eclipse/linuxtools/tmf/ui/widgets/timegraph/widgets/TimeGraphControl.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lttng/org.eclipse.linuxtools.tmf.ui/src/org/eclipse/linuxtools/tmf/ui/widgets/timegraph/widgets/TimeGraphControl.java b/lttng/org.eclipse.linuxtools.tmf.ui/src/org/eclipse/linuxtools/tmf/ui/widgets/timegraph/widgets/TimeGraphControl.java index b0a6b48d12..8bce4c89b2 100644 --- a/lttng/org.eclipse.linuxtools.tmf.ui/src/org/eclipse/linuxtools/tmf/ui/widgets/timegraph/widgets/TimeGraphControl.java +++ b/lttng/org.eclipse.linuxtools.tmf.ui/src/org/eclipse/linuxtools/tmf/ui/widgets/timegraph/widgets/TimeGraphControl.java @@ -540,7 +540,7 @@ public class TimeGraphControl extends TimeGraphBaseControl implements FocusListe * Select an event
*
* @param n
- * 1 to enable, -1 to disable
+ * 1 for next event, -1 for previous event
*/
public void selectEvent(int n) {
if (null == _timeProvider) {
@@ -572,6 +572,11 @@ public class TimeGraphControl extends TimeGraphBaseControl implements FocusListe if (nextTime > endTime) {
nextTime = endTime;
}
+ } else if (n == -1) {
+ // for previous event go to its end time unless we were already there
+ if (nextEvent.getTime() + nextEvent.getDuration() < selectedTime) {
+ nextTime = nextEvent.getTime() + nextEvent.getDuration();
+ }
}
_timeProvider.setSelectedTimeNotify(nextTime, true);
fireSelectionChanged();
|