lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip
- Get this branch:
- bzr branch lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip
Branch merges
- Jiri Srba: Approve
-
Diff: 23 lines (+0/-13)1 file modifiedsrc/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java (+0/-13)
Branch information
Recent revisions
- 1049. By Kenneth Yrke Jørgensen
-
Removed unused function updateToolTip, replaces by showDInterval and never removed
- 1048. By Jiri Srba
-
merged in lp:~yrke/tapaal/testbranch-syntaxOnlyChanges only reformating, no semantic changes
- 1046. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/fix-shared-places-exception-1871091 fixing shared places exception when copying components
- 1045. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/fix-positionalInfo-detection-1870899 fixing loading of positional info in PNML files
- 1044. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/shared-place-transition-rename-1871091 fixing problem with renaming of shared places when a component is copied
- 1043. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/pnml-disable-buttons-1868535 fixing enabled buttons when pnml file open fails
- 1042. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/open-on-windows-1868525 fixing .xml file open on windows
- 1040. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/select-all-disable-1835873 fixing focus issues when changing templates
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal