lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip

Created by Kenneth Yrke Jørgensen on 2020-05-06 and last modified on 2020-05-06
Get this branch:
bzr branch lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip
Only Kenneth Yrke Jørgensen can upload to this branch. If you are Kenneth Yrke Jørgensen please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Kenneth Yrke Jørgensen
Project:
TAPAAL
Status:
Merged

Recent revisions

1049. By Kenneth Yrke Jørgensen on 2020-05-06

Removed unused function updateToolTip, replaces by showDInterval and never removed

1048. By Jiri Srba on 2020-04-30

merged in lp:~yrke/tapaal/testbranch-syntaxOnlyChanges only reformating, no semantic changes

1047. By Jiri Srba on 2020-04-28

merged in lp:~yrke/tapaal/testbranch doing majour refactoring of the GUI

1046. By Jiri Srba on 2020-04-16

merged in lp:~tapaal-contributor/tapaal/fix-shared-places-exception-1871091 fixing shared places exception when copying components

1045. By Jiri Srba on 2020-04-16

merged in lp:~tapaal-contributor/tapaal/fix-positionalInfo-detection-1870899 fixing loading of positional info in PNML files

1044. By Jiri Srba on 2020-04-11

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 on 2020-03-27

merged in lp:~tapaal-contributor/tapaal/pnml-disable-buttons-1868535 fixing enabled buttons when pnml file open fails

1042. By Jiri Srba on 2020-03-27

merged in lp:~tapaal-contributor/tapaal/open-on-windows-1868525 fixing .xml file open on windows

1041. By <email address hidden> on 2020-03-18

changed year from 2019 to 2020

1040. By Jiri Srba on 2020-03-17

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
This branch contains Public information 
Everyone can see this information.