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

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1108

Jiri Srba: Approve on 2020-10-30

Peter Haahr Taankvist (community): Needs Resubmitting on 2020-10-30

Kenneth Yrke Jørgensen: Needs Fixing on 2020-10-30

Diff: 40 lines (+11/-1)

2 files modified

src/pipe/gui/GuiFrame.java (+5/-1)
src/pipe/gui/graphicElements/Transition.java (+6/-0)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1897539: Transition labels are invisible in Ubuntu dark mode	Undecided	New
Bug #1902226: White bar around drawing surface in Ubuntu dark mode	Undecided	Fix Released

Link a bug report

Related blueprints

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