lp:~tapaal-contributor/tapaal/open-on-windows-1868525

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1042

Jiri Srba: Approve on 2020-03-27

Diff: 118 lines (+34/-22)

2 files modified

src/pipe/gui/widgets/filebrowser/NativeFileBrowser.java (+28/-21)
src/pipe/gui/widgets/filebrowser/NativeFileBrowserFallback.java (+6/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1868525: XML cannot be opened on windows

High

Fix Released

Link a bug report

Related blueprints

1043. By Peter Haahr Taankvist on 2020-03-23

Comment on the code

1042. By Peter Haahr Taankvist on 2020-03-23

Make it such that windows users can also see both xml and tapn files when using open function

1041. By <email address hidden> on 2020-03-18

changed year from 2019 to 2020

1040. By Jiri Srba on 2020-03-17

merged in lp:~tapaal-contributor/tapaal/select-all-disable-1835873 fixing focus issues when changing templates

1039. By Jiri Srba on 2020-03-17

merged in lp:~tapaal-contributor/tapaal/constants-blink-1853902 allowing constants to blink when selected in editor mode

1038. By Jiri Srba on 2020-03-17

merged in lp:~tapaal-contributor/tapaal/show-smart-draw-dialog-PNML-1856544 calling automatic layout tool if position information is missing

1037. By Jiri Srba on 2020-03-17

merged in lp:~tapaal-contributor/tapaal/seperate-save-paths-1855266 fixing load/save paths

1036. By Jiri Srba <email address hidden> on 2020-02-03

merged in lp:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL fixing the loading of the newest verifyta engines

1035. By Jiri Srba <email address hidden> on 2020-02-03

merged in lp:~yrke/tapaal/updatedVersionCheckURL with new URL for version check

1034. By Jiri Srba <email address hidden> on 2020-02-03

merged in lp:~tapaal-contributor/tapaal/open-arg-file-1855267 allowing to call tapaal with an argument (.tapn file)