lp:~tapaal-contributor/tapaal/save-file-browser-location

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1172

Jiri Srba: Approve on 2022-08-02

Diff: 227 lines (+40/-23)

4 files modified

src/net/tapaal/Preferences.java (+14/-0)
src/pipe/gui/widgets/filebrowser/FileBrowser.java (+7/-7)
src/pipe/gui/widgets/filebrowser/NativeFileBrowser.java (+9/-8)
src/pipe/gui/widgets/filebrowser/NativeFileBrowserFallback.java (+10/-8)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1174. By Lena Ernstsen on 2022-08-01

fixed not saving locarion after first time opening the file browser

1173. By Lena Ernstsen on 2022-08-01

set default file location to null

1172. By Lena Ernstsen on 2022-08-01

Saves file browser location in preferences

1171. By Jiri Srba on 2022-06-03

merged in a fix for editing LTL queries (in manual edit of E .. and .. and .. it was not possible to remove the last conjuct and reseting of LTL queries didn't work either

1170. By Jiri Srba on 2022-06-03

merged in lp:~yrke/tapaal/fix1976494 fixing a problem with copying components that contain environmental transitions

1169. By Jiri Srba on 2022-05-24

merged in lp:~tapaal-contributor/tapaal/conjunction-button-fix fixing a problem with and/or buttons in query dialog

1168. By Jiri Srba <email address hidden> on 2022-02-10

merged in lp:~tapaal-contributor/tapaal/fixTAPNdi fixing a problem with passing inclusion places to verifytapn

1167. By Jiri Srba on 2021-12-27

merged in lp:~tapaal-contributor/tapaal/fixApprox-trunk fixing problem with over/under-approximation for verifydtapn

1166. By Jiri Srba <email address hidden> on 2021-12-21

more cleanup

1165. By Jiri Srba <email address hidden> on 2021-12-21

cleanup in tools and added the most recent scripts for creating distributions