~tapaal-contributor/tapaal/dialog-always-on-top-1918912

• Changes
• Files

~tapaal-contributor/tapaal/dialog-always-on-top-1918912 » Changes from revision 1122

From Revision 1122 to 1103

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
1122		Loading dialog is not on top of other applications anymore. Loading dialog is not on top of other applications anymore.	lsaid	3 years ago
1121		Merged branch lp:~yrke/tapaal/github-actions Merged branch lp:~yrke/tapaal/github-actions	Kenneth Yrke Jørgens...	3 years ago
1120		merged in lp:~tapaal-contributor/tapaal/save-tar-option that... merged in lp:~tapaal-contributor/tapaal/save-tar-option that allows to save -tar option to .tapn file	Jiri Srba	3 years ago
1119		merged in lp:~tapaal-contributor/tapaal/add-tar-option addin... merged in lp:~tapaal-contributor/tapaal/add-tar-option adding the -tar option for the verifypn engine	Jiri Srba	3 years ago
1118		merged in lp:~tapaal-contributor/tapaal/raw-query-window- merged in lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882 fixing the scaling of raw-output result	Jiri Srba	3 years ago
1117		merged in lp:~tapaal-contributor/tapaal/show-reduced-net-187... merged in lp:~tapaal-contributor/tapaal/show-reduced-net-1879130 adding the possiblity to show the reduced net - relies on the new trunk version of verifypn	Jiri Srba	3 years ago
1116		merged in lp:~tapaal-contributor/tapaal/raw-query-output add... merged in lp:~tapaal-contributor/tapaal/raw-query-output adding the possibility to display raw output from engines	Jiri Srba	3 years ago
1115		fixed a tooltip for batch export menu item fixed a tooltip for batch export menu item	Jiri Srba	3 years ago
1114		merged in lp:~tapaal-contributor/tapaal/add-export-options a... merged in lp:~tapaal-contributor/tapaal/add-export-options adding the option of batch export to all engines	Jiri Srba	3 years ago
1113		merged in lp:~tapaal-contributor/tapaal/fix-is-enabled-trans... merged in lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query fixing a problem of transition-enabledness predicate in query dialog	Jiri Srba	3 years ago
1112		updated minimum versions of verifydtapn to 3.4.1 and verifyp... updated minimum versions of verifydtapn to 3.4.1 and verifypn to 3.1.1	Jiri Srba	3 years ago
1111		merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 r... merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 removing debugging lines	Jiri Srba	3 years ago
1110		merged in lp:~tapaal-contributor/tapaal/add-discrete-to-unti... merged in lp:~tapaal-contributor/tapaal/add-discrete-to-untimed allowing to call the discrete time game engine from untimed lens mode	Jiri Srba	3 years ago
1109		merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 f... merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 fixing a problem with stuck GUI when opening a net with wrong queries	Jiri Srba	3 years ago
1108		merged in lp:~tapaal-contributor/tapaal/ubuntu-dark-theme- merged in lp:~tapaal-contributor/tapaal/ubuntu-dark-theme-improvements-1897539 fixing some issues for dark mode on ubuntu	Jiri Srba	3 years ago
1107		merged in lp:~yrke/tapaal/arcpathpoint-issues fixing behavio... merged in lp:~yrke/tapaal/arcpathpoint-issues fixing behaviour when dragging and selecting anchor points on arcs	Jiri Srba	3 years ago
1106		merged in lp:~tapaal-contributor/tapaal/intervals-on-outgoin... merged in lp:~tapaal-contributor/tapaal/intervals-on-outgoing-arcs-1896451 fixing problem with time intervals being shown when editing output arcs	Jiri Srba	3 years ago
1105		merged in lp:~tapaal-contributor/tapaal/verifytapn-not-offer... merged in lp:~tapaal-contributor/tapaal/verifytapn-not-offered-1896454 that shows verifytapn in the query dialog again for nets with strict intervals	srba.jiri at gmail	3 years ago
1104		merged in lp:~tapaal-contributor/tapaal/Typos-1896460 fixing... merged in lp:~tapaal-contributor/tapaal/Typos-1896460 fixing some text typos	srba.jiri at gmail	3 years ago
1103		merged in lp:~tapaal-contributor/tapaal/disable-workflow- merged in lp:~tapaal-contributor/tapaal/disable-workflow-analysis-1896319 that disables workflow analysis for games	srba.jiri at gmail	3 years ago

• Older »

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