lp:~yrke/tapaal/tapaal-fix1764383-java9macoslookandfeel

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal/3.4 at revision 955

Jiri Srba: Approve on 2018-05-02

Diff: 155 lines (+43/-35)

3 files modified

src/pipe/gui/CreateGui.java (+0/-3)
src/pipe/gui/GuiFrame.java (+43/-12)
src/pipe/gui/handler/SpecialMacHandler.java (+0/-20)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1764383: Improve TAPAAL integration on Mac with Java 9

Critical

Fix Released

Link a bug report

Related blueprints

959. By Kenneth Yrke Jørgensen on 2018-05-01

Fixed java version check to support java 9+

958. By Kenneth Yrke Jørgensen on 2018-05-01

moved icon loading our from special mac handler

957. By Kenneth Yrke Jørgensen on 2018-04-28

removed imports

956. By Kenneth Yrke Jørgensen on 2018-04-28

moved dockimage back to spcial mac handler

955. By Kenneth Yrke Jørgensen on 2018-04-27

Moved MacOS look and feel outside MacHandler, for better java9 support

954. By Jiri Srba <email address hidden> on 2018-04-16

merged in branch lp:~yrke/tapaal/tapaal-fix-1756865 fixing Mac integration with Java 9 (by catching the exception and ignoring it)

953. By Jiri Srba <email address hidden> on 2018-04-16

merged in branch fixing Java 9 on mac

952. By Jiri Srba on 2018-04-05

merged in lp:~tapaal-contributor/tapaal/query-to-CTL-conversion-fix-1751844/ fixing a bug in conversion from Rechability to CTL queries

951. By Jiri Srba <email address hidden> on 2018-01-24

Release version 3.4.0

950. By Jiri Srba <email address hidden> on 2018-01-18

changed to version number 3.4.0