lp:~cpn-gui/tapaal/bugFixing

Created by Mark Glavind and last modified
Get this branch:
bzr branch lp:~cpn-gui/tapaal/bugFixing
Members of cpn-gui can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
cpn-gui
Project:
TAPAAL
Status:
Merged

Recent revisions

1029. By Mark Glavind

added toggle enabled buttons to color expressions and arc expressions panel, added delete selection and reset expression to both, fixed the size in getChildren of addExpr, TupleExpr, changed replace method in pred and succ

1028. By Mark Glavind

expressions getChildren are now handled correctly when the last member is not an expression type, this means they can be selected properly in the exprfield

1027. By Mark Glavind

selection of expressions in transition editor panel now works perfectly

1026. By Mark Glavind

edit colored transition panel: moved comparison buttons from logic panel. You can also now only press specific buttons if they are allowed depending on the current selection in the exprfield

1025. By Mark Glavind

changed the size of some expressions. Selection now works better in the textfields. fixed an endless loop when selecting specific elements in an expression. Made the edit place window smaller, as the fixed size was too big on some screens

1024. By Niels Christensen

Made som visual changes for product types and cyclic enums

1023. By Mark Glavind

 fixed issue with places not working when it did not have an assigned color type

1022. By Mark Glavind

reworked the edit colored place panel and removed finite cyclic as a color type

1021. By Mark Glavind

fixed button placement in color type edit panel

1020. By Mark Glavind

edit for color types now work, remove button added for cyclic color types in panel, productType toString method now prints correctly

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:tapaal
This branch contains Public information 
Everyone can see this information.

Subscribers