lp:~tapaal-contributor/tapaal/ubuntu-dark-theme-improvements-1897539

Created by Peter Haahr Taankvist on 2020-10-01 and last modified on 2020-10-30
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/ubuntu-dark-theme-improvements-1897539
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

Recent revisions

1109. By Peter Taankvist <email address hidden> on 2020-10-30

Added a bugreport and a link to the bugreport for the second comment

1108. By Peter Taankvist <email address hidden> on 2020-10-30

Added a link to the bugreport

1107. By Peter Taankvist <email address hidden> on 2020-10-01

Made some improvements to ubuntu dark theme

1106. By Jiri Srba on 2020-09-24

merged in lp:~tapaal-contributor/tapaal/intervals-on-outgoing-arcs-1896451 fixing problem with time intervals being shown when editing output arcs

1105. By <email address hidden> on 2020-09-23

merged in lp:~tapaal-contributor/tapaal/verifytapn-not-offered-1896454 that shows verifytapn in the query dialog again for nets with strict intervals

1104. By <email address hidden> on 2020-09-23

merged in lp:~tapaal-contributor/tapaal/Typos-1896460 fixing some text typos

1103. By <email address hidden> on 2020-09-23

merged in lp:~tapaal-contributor/tapaal/disable-workflow-analysis-1896319 that disables workflow analysis for games

1102. By Jiri Srba on 2020-09-16

merged in lp:~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108 fixing problem with undo when objects are selected

1101. By Jiri Srba on 2020-09-16

merged in lp:~yrke/tapaal/fix1894107-mouseWheelOnPTO fixing accidental rotation of transitions and adding tokens to places - now it is enabled only if the places/transition is selected

1100. By Jiri Srba on 2020-09-16

merged in lp:~yrke/tapaal/fix1879032-workflowanalysis fixing problem with showing workflow traces

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.