lp:~tapaal-contributor/tapaal/bug898117-query-modified-save

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 666

Kenneth Yrke Jørgensen: Approve on 2012-02-27

Jiri Srba: Approve on 2012-02-27

Diff: 44 lines (+5/-2)

3 files modified

src/dk/aau/cs/gui/BatchProcessingDialog.java (+0/-1)
src/pipe/gui/GuiFrame.java (+1/-1)
src/pipe/gui/widgets/QueryDialog.java (+4/-0)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #898117: Query change and entering of batch processing

Medium

Fix Released

Link a bug report

Related blueprints

665. By Jiri Srba on 2012-02-27

Whenever a query is saved or saved/verified, the net is marked as changed.
Also, when entering batch processing, the user is suggested to save all
unsaved nets, not only the active one.

664. By Kenneth Yrke Jørgensen on 2012-02-25

Merged branch fixing bug #940234 by Kenneth Yrke Jørgensen review by Kenneth Yrke Jørgensen approved by Mathias Andersen, Jiri Srba

663. By Jiri Srba on 2012-02-24

Redone the assignment of hotkeys, for win+linux using crtl for mac using cmd. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

662. By Kenneth Yrke Jørgensen on 2012-02-23

Added configs for building windows exe file and installer

661. By Jiri Srba on 2012-02-21

fixed dialog message "Select Tokens"

660. By Jakob Taankvist on 2012-02-20

Simulation mode contains a new panel with enabled transitions and all panels in
the simulation mode are now resizable. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

659. By Jiri Srba on 2012-02-17

updated About

658. By Jiri Srba on 2012-02-17

Number of tokens in a place is now limited to 999. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

657. By Jakob Taankvist on 2012-02-17

The token selection mode in simulator is now not hotkey sensitive any more. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

656. By Jakob Taankvist on 2012-02-17

Fixes the problem of untimed trace generation when shared transitions were involved. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba