TAPAAL

Merge lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip into lp:tapaal

  1. remoteUnusedFunction-updateTooltip
  2. Merge into trunk
Proposed by Kenneth Yrke Jørgensen
Status: Merged
Approved by: Jiri Srba
Approved revision: 1049
Merged at revision: 1051
Proposed branch: lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip
Merge into: lp:tapaal
Diff against target: 23 lines (+0/-13)
1 file modified
src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java (+0/-13)
To merge this branch: bzr merge lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+383518@code.launchpad.net

Commit message

Removed dead code

Function seems to never have been removed after being replaced

To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) :
review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java'
2--- src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java 2020-04-18 12:27:02 +0000
3+++ src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java 2020-05-06 15:02:32 +0000
4@@ -208,19 +208,6 @@
5 return transitionComponent;
6 }
7
8- public void updateToolTip(boolean show){
9- if(show){
10- TimeInterval dInterval = underlyingTransition().getdInterval();
11- if(dInterval == null){
12- this.setToolTipText(null);
13- } else {
14- this.setToolTipText(dInterval.toString());
15- }
16- } else {
17- this.setToolTipText(null);
18- }
19- }
20-
21 Window dIntervalWindow = null;
22
23 public void showDInterval(boolean show) {

Subscribers

People subscribed via source and target branches