lp:~tapaal-contributor/tapaal/save-file-browser-location
Created by
Lena Ernstsen
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/save-file-browser-location
Members of
TAPAAL Contributors
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
-
Diff: 227 lines (+40/-23)4 files modifiedsrc/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)
Branch information
Recent revisions
- 1171. By Jiri Srba
-
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
-
merged in lp:~yrke/tapaal/fix1976494 fixing a problem with copying components that contain environmental transitions
- 1169. By Jiri Srba
-
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>
-
merged in lp:~tapaal-contributor/tapaal/fixTAPNdi fixing a problem with passing inclusion places to verifytapn
- 1167. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/fixApprox-trunk fixing problem with over/under-
approximation for verifydtapn - 1165. By Jiri Srba <email address hidden>
-
cleanup in tools and added the most recent scripts for creating distributions
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal