~yrke/tapaal/remoteUnusedFunction-updateTooltip

From Revision 1049 to 1030

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
1049		Removed unused function updateToolTip, replaces by showDInte... Removed unused function updateToolTip, replaces by showDInterval and never removed	Kenneth Yrke Joergen...	3 years ago
1048		merged in lp:~yrke/tapaal/testbranch-syntaxOnlyChanges only merged in lp:~yrke/tapaal/testbranch-syntaxOnlyChanges only reformating, no semantic changes	Jiri Srba	3 years ago
1047		merged in lp:~yrke/tapaal/testbranch doing majour refactorin... merged in lp:~yrke/tapaal/testbranch doing majour refactoring of the GUI	Jiri Srba	3 years ago
1046		merged in lp:~tapaal-contributor/tapaal/fix-shared-places- merged in lp:~tapaal-contributor/tapaal/fix-shared-places-exception-1871091 fixing shared places exception when copying components	Jiri Srba	4 years ago
1045		merged in lp:~tapaal-contributor/tapaal/fix-positionalInfo- merged in lp:~tapaal-contributor/tapaal/fix-positionalInfo-detection-1870899 fixing loading of positional info in PNML files	Jiri Srba	4 years ago
1044		merged in lp:~tapaal-contributor/tapaal/shared-place-transit... merged in lp:~tapaal-contributor/tapaal/shared-place-transition-rename-1871091 fixing problem with renaming of shared places when a component is copied	Jiri Srba	4 years ago
1043		merged in lp:~tapaal-contributor/tapaal/pnml-disable-buttons... merged in lp:~tapaal-contributor/tapaal/pnml-disable-buttons-1868535 fixing enabled buttons when pnml file open fails	Jiri Srba	4 years ago
1042		merged in lp:~tapaal-contributor/tapaal/open-on-windows-1868... merged in lp:~tapaal-contributor/tapaal/open-on-windows-1868525 fixing .xml file open on windows	Jiri Srba	4 years ago
1041		changed year from 2019 to 2020 changed year from 2019 to 2020	srba.jiri at gmail	4 years ago
1040		merged in lp:~tapaal-contributor/tapaal/select-all-disable-1... merged in lp:~tapaal-contributor/tapaal/select-all-disable-1835873 fixing focus issues when changing templates	Jiri Srba	4 years ago
1039		merged in lp:~tapaal-contributor/tapaal/constants-blink-1853... merged in lp:~tapaal-contributor/tapaal/constants-blink-1853902 allowing constants to blink when selected in editor mode	Jiri Srba	4 years ago
1038		merged in lp:~tapaal-contributor/tapaal/show-smart-draw-dial... merged in lp:~tapaal-contributor/tapaal/show-smart-draw-dialog-PNML-1856544 calling automatic layout tool if position information is missing	Jiri Srba	4 years ago
1037		merged in lp:~tapaal-contributor/tapaal/seperate-save-paths-... merged in lp:~tapaal-contributor/tapaal/seperate-save-paths-1855266 fixing load/save paths	Jiri Srba	4 years ago
1036		merged in lp:~yrke/tapaal/tapaal- merged in lp:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL  fixing the loading of the newest verifyta engines	Jiri Srba	4 years ago
1035		merged in lp:~yrke/tapaal/updatedVersionCheckURL with new UR... merged in lp:~yrke/tapaal/updatedVersionCheckURL with new URL for version check	Jiri Srba	4 years ago
1034		merged in lp:~tapaal-contributor/tapaal/open-arg-file-1855... merged in   lp:~tapaal-contributor/tapaal/open-arg-file-1855267 allowing to call tapaal with an argument (.tapn file)	Jiri Srba	4 years ago
1033		merged in lp:~yrke/tapaal/updated-launch4j-config fixing lau... merged in lp:~yrke/tapaal/updated-launch4j-config fixing launch4j script	Jiri Srba	4 years ago
1032		merged in lp:~tapaal-contributor/tapaal/export-import-PNML-1... merged in lp:~tapaal-contributor/tapaal/export-import-PNML-1853823 fixing saving/loading of PNML files	Jiri Srba	4 years ago
1031		merged in lp:~tapaal-contributor/tapaal/focus-in-automatic- merged in lp:~tapaal-contributor/tapaal/focus-in-automatic-layout-1853903 fixing focus in the automatic layout dialog	Jiri Srba	4 years ago
1030		merged in lp:~tapaal-contributor/tapaal/loading-of-large-net... merged in lp:~tapaal-contributor/tapaal/loading-of-large-nets-1848945 fixing loading of large nets speed	Jiri Srba	4 years ago

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1